TY  - JOUR
AU  - Kutrib, Martin
AU  - Malcher, Andreas
ED  - Holzer, Markus
ED  - Sempere, José M.
TI  - Digging Input-Driven Pushdown Automata
JO  - RAIRO. Theoretical Informatics and Applications
PY  - 2021
VL  - 55
PB  - EDP-Sciences
UR  - https://www.numdam.org/articles/10.1051/ita/2021006/
DO  - 10.1051/ita/2021006
LA  - en
ID  - ITA_2021__55_1_A8_0
ER  -