Digging input-driven pushdown automataMartin Kutrib and Andreas MalcherRAIRO-Theor. Inf. Appl., 55 (2021) 6DOI: https://doi.org/10.1051/ita/2021006
