"Typed Meta-interpretive Learning of Logic Programs."

Rolf Morel, Andrew Cropper, C.-H. Luke Ong (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics