Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.

Petr Jancar, Antonn Kucera, Faron Moller, Zdenek Sawa

Browse the full FOSSACS paper archive.