Some classes of term rewriting systems inferable from positive data
scientific article; zbMATH DE number 5279852