Top program construction and reduction for polynomial time meta-interpretive learning
scientific article; zbMATH DE number 7432820
scientific article