The inclusion problem for some subclasses of context-free languages
(restricted) deterministic push-down automaton
scientific article; zbMATH DE number 1454292