@article{ITA_2021__55_1_A8_0,
     author = {Kutrib, Martin and Malcher, Andreas},
     editor = {Holzer, Markus and Sempere, Jos\'e M.},
     title = {Digging {Input-Driven} {Pushdown} {Automata}},
     journal = {RAIRO. Theoretical Informatics and Applications},
     year = {2021},
     publisher = {EDP-Sciences},
     volume = {55},
     doi = {10.1051/ita/2021006},
     mrnumber = {4289538},
     zbl = {1508.68197},
     language = {en},
     url = {https://www.numdam.org/articles/10.1051/ita/2021006/}
}