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