Decidability of the equivalence problem for deterministic pushdown automata
scientific article; zbMATH DE number 949073