Polynomial-time inference of arbitrary pattern languages
scientific article; zbMATH DE number 4172422