TY  - JOUR
AU  - Kutrib, Martin
AU  - Malcher, Andreas
AU  - Wendlandt, Matthias
TI  - When input-driven pushdown automata meet reversiblity
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2016
SP  - 313
EP  - 330
VL  - 50
IS  - 4
PB  - EDP-Sciences
UR  - http://www.numdam.org/articles/10.1051/ita/2016016/
DO  - 10.1051/ita/2016016
LA  - en
ID  - ITA_2016__50_4_313_0
ER  -