Giovanni Semeraro Floriana Esposito Donato Malerba Clifford Brunk Michael J. Pazzani Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. 183-198 1994 conf/lopstr/1994 LOPSTR db/conf/lopstr/lopstr94.html#SemeraroEMBP94