Meta-interpretive learning: application to grammatical inference. - Muggleton, Stephen; Lin, Dianhuan; Pahlavi, Niels; Tamaddoni-Nezhad, Alireza (Machine Learning, 2014)