Abductive Logic Programming (1992)

by A Kakas, R Kowalski, F Toni
Venue:Journal of Logic and Computation