SLDNFA: an abductive procedure for abductive logic programs (1998)

by M Denecker, D De Schreye
Venue:Journal of Logic Programming