%0 Journal Article %1 journals/jar/AquilanoBBM86 %A Aquilano, C. %A Barbuti, Roberto %A Bocchetti, P. %A Martelli, Maurizio %D 1986 %J J. Autom. Reason. %K dblp %N 2 %P 155-170 %T Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. %U http://dblp.uni-trier.de/db/journals/jar/jar2.html#AquilanoBBM86 %V 2

@article{journals/jar/AquilanoBBM86, added-at = {2020-09-02T00:00:00.000+0200}, author = {Aquilano, C. and Barbuti, Roberto and Bocchetti, P. and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/201b0fdf396ef5d77525c09d3999e53f0/dblp}, ee = {https://doi.org/10.1007/BF02432149}, interhash = {0eb3ecbb9dd504980571cdf6b79eca57}, intrahash = {01b0fdf396ef5d77525c09d3999e53f0}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {155-170}, timestamp = {2020-09-09T13:35:11.000+0200}, title = {Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar2.html#AquilanoBBM86}, volume = 2, year = 1986 }