Off-line parsability and the well-foundedness of subsumption
scientific article; zbMATH DE number 1282863