A Query Evaluation Method for Abductive Logic Programming.

Ken Satoh, Noboru Iwayama

Browse the full ICLP paper archive.