"Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning."

Andrew Cropper, Stephen H. Muggleton (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics