Digging input-driven pushdown automata
and
RAIRO-Theor. Inf. Appl., 55 (2021) 6
Published online: 22 July 2021
DOI: 10.1051/ita/2021006
