%0 Journal Article %1 journals/jlp/MarekNR94 %A Marek, V. Wiktor %A Nerode, Anil %A Remmel, Jeffrey B. %D 1994 %J J. Log. Program. %K dblp %N 3 %P 129-153 %T The Stable Models of a Predicate Logic Program. %U http://dblp.uni-trier.de/db/journals/jlp/jlp21.html#MarekNR94 %V 21

@article{journals/jlp/MarekNR94, added-at = {2003-11-27T00:00:00.000+0100}, author = {Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.}, biburl = {https://www.bibsonomy.org/bibtex/233bc72bc9355585327d8071ed918e37b/dblp}, date = {2003-11-27}, description = {dblp}, interhash = {1ab3a14bec76e1d55ccdf06f331be632}, intrahash = {33bc72bc9355585327d8071ed918e37b}, journal = {J. Log. Program.}, keywords = {dblp}, number = 3, pages = {129-153}, timestamp = {2003-11-27T00:00:00.000+0100}, title = {The Stable Models of a Predicate Logic Program.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp21.html#MarekNR94}, volume = 21, year = 1994 }