A polynomial approach to the constructive induction of structural knowledge
restrictions of first-order logic for learning
scientific article; zbMATH DE number 569308