RUTH: an ILP Theory Revision System. - Hilde Adé; Bart Malfait; Luc De Raedt (ISMIS, 1994)