Fabrizio Riguzzi: ALLPAD: approximate learning of logic programs with annotated disjunctions. Mach. Learn. 70(2-3): 207-223 (2008)