When input-driven pushdown automata meet reversiblity Martin Kutrib, Andreas Malcher and Matthias Wendlandt RAIRO-Theor. Inf. Appl., 50 4 (2016) 313-330 Published online: 16 September 2016 DOI: 10.1051/ita/2016016