%0 Journal Article
%A Kutrib, Martin
%A Malcher, Andreas
%E Holzer, Markus
%E Sempere, José M.
%T Digging Input-Driven Pushdown Automata
%J RAIRO. Theoretical Informatics and Applications
%D 2021
%V 55
%I EDP-Sciences
%U https://www.numdam.org/articles/10.1051/ita/2021006/
%R 10.1051/ita/2021006
%G en
%F ITA_2021__55_1_A8_0