When input-driven pushdown automata meet reversiblity

Martin Kutrib, Andreas Malcher, Matthias Wendlandt. When input-driven pushdown automata meet reversiblity. ITA, 50(4):313-330, 2016. [doi]

Abstract

Abstract is missing.