The IFF proof procedure for abductive logic programming (1997)

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