Reversible Shrinking Two-Pushdown Automata.

Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher

Browse the full LATA paper archive.