Ordered term tree languages which are polynomial time inductively inferable from positive data
scientific article; zbMATH DE number 5013330