Kave Eshghi Robert A. Kowalski Abduction Compared with Negation by Failure. 234-254 1989 ICLP db/conf/iclp/iclp89.html#EshghiK89