Equivalence problems for deterministic context-free languages and monadic recursion schemes
scientific article; zbMATH DE number 3559012