When input-driven pushdown automata meet reversiblityMartin Kutrib, Andreas Malcher and Matthias WendlandtRAIRO-Theor. Inf. Appl., 50 4 (2016) 313-330DOI: https://doi.org/10.1051/ita/2016016
