Abductive logic programming (1992)

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