A query evaluation method for abductive logic programming - Satoh, Ken 1959-; Iwayama, Noboru (1992)