The role of abduction in logic programming (1998)

by A Kakas, R Kowalski, F Toni
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming