An average-case optimal one-variable pattern language learner
scientific article; zbMATH DE number 1455737