Computing Abduction by Using the TMS.

Ken Satoh, Noboru Iwayama

Browse the full ICLP paper archive.