Computing Abduction by Using the TMS

Ken Satoh, Noboru Iwayama. Computing Abduction by Using the TMS. In ICLP. pages 505-518, 1991.

Abstract

Abstract is missing.