Boosting Reversible Pushdown Machines by Preprocessing.

Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt

Browse the full RC paper archive.