Pumping lemmas for term languages
scientific article; zbMATH DE number 3604384