Ken Satoh Noboru Iwayama A Query Evaluation Method for Abductive Logic Programming. 671-685 1992 JICSLP db/conf/iclp/iclp92.html#SatohI92