The role of abduction in logic programming (0)

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