The role of abduction in logic programming (1998)

by A Kakas, R A Kowalski, F Toni
Venue:In