Abduction compared with negation as failure (0)

by K Eshghi, R A Kowalski
Venue:Proc. ICLP’89