A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages
scientific article; zbMATH DE number 3800945