Hilde Adé Luc De Raedt Maurice Bruynooghe Inverse Resolution in an Integrated Inductive-Deductive Learning System. 456-457 1992 ECAI db/conf/ecai/ecai92.html#AdeRB92