The IFF proof procedure for abductive logic programming (1997)

by T Fung, R Kowalski
Venue:Journal of Logic Programming