Stephen H. Muggleton, Dianhuan Lin, Alireza Tamaddoni-Nezhad: MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory. ILP 2011: 238-254