The role of abduction in logic programming. (1997)

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