Boosting reversible pushdown machines by preprocessing

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

^*Corresponding author af dette arbejde