%0 Journal Article %1 journals/jlp/DeneckerS98 %A Denecker, Marc %A Schreye, Danny De %D 1998 %J J. Log. Program. %K dblp %N 2 %P 111-167 %T SLDNFA: An Abductive Procedure for Abductive Logic Programs. %U http://dblp.uni-trier.de/db/journals/jlp/jlp34.html#DeneckerS98 %V 34

@article{journals/jlp/DeneckerS98, added-at = {2022-10-02T00:00:00.000+0200}, author = {Denecker, Marc and Schreye, Danny De}, biburl = {https://www.bibsonomy.org/bibtex/27ad579e93573cc109a6042dbeb966eca/dblp}, ee = {https://www.wikidata.org/entity/Q29398828}, interhash = {27b2d7f53a05d489532acb2c6a548649}, intrahash = {7ad579e93573cc109a6042dbeb966eca}, journal = {J. Log. Program.}, keywords = {dblp}, number = 2, pages = {111-167}, timestamp = {2024-04-08T10:49:58.000+0200}, title = {SLDNFA: An Abductive Procedure for Abductive Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp34.html#DeneckerS98}, volume = 34, year = 1998 }