Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto
On Stateless Two-Pushdown Automata and Restarting Automata
AFL, 2010.
@article{AFL-J-2008-KutribMO10,
author = "Martin Kutrib and Hartmut Messerschmidt and Friedrich Otto",
doi = "10.1142/S0129054110007556",
journal = "{International Journal of Foundations of Computer Science}",
number = 5,
pages = "781--798",
publisher = "{World Scientific}",
title = "{On Stateless Two-Pushdown Automata and Restarting Automata}",
volume = 21,
year = 2010,
}