%0 Journal Article %1 journals/jlp/BuccafurriLR96 %A Buccafurri, Francesco %A Leone, Nicola %A Rullo, Pasquale %D 1996 %J J. Log. Program. %K dblp %N 1 %P 5-43 %T Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. %U http://dblp.uni-trier.de/db/journals/jlp/jlp27.html#BuccafurriLR96 %V 27

@article{journals/jlp/BuccafurriLR96, added-at = {2021-02-17T00:00:00.000+0100}, author = {Buccafurri, Francesco and Leone, Nicola and Rullo, Pasquale}, biburl = {https://www.bibsonomy.org/bibtex/212a4c2ee54cc818a93d6db3dd54183a1/dblp}, ee = {https://doi.org/10.1016/0743-1066(95)00076-3}, interhash = {31b6bc0d95c88c24e0b5faac27bfbf9b}, intrahash = {12a4c2ee54cc818a93d6db3dd54183a1}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {5-43}, timestamp = {2024-04-08T10:50:46.000+0200}, title = {Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp27.html#BuccafurriLR96}, volume = 27, year = 1996 }