Marc Denecker, Danny De Schreye. SLDNFA: An Abductive Procedure for Abductive Logic Programs. Journal of Logic and Algebraic Programming, 34(2):111-167, 1998.
@article{DeneckerS98,
title = {SLDNFA: An Abductive Procedure for Abductive Logic Programs},
author = {Marc Denecker and Danny De Schreye},
year = {1998},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/DeneckerS98},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {34},
number = {2},
pages = {111-167},
}