Antonis C. Kakas, Robert A. Kowalski, Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1992.
@article{KakasKT92, title = {Abductive Logic Programming}, author = {Antonis C. Kakas and Robert A. Kowalski and Francesca Toni}, year = {1992}, tags = {C++, logic programming, programming, logic}, researchr = {https://researchr.org/publication/KakasKT92}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {2}, number = {6}, pages = {719-770}, }