%0 Conference Paper %1 conf/slp/KakasM91 %A Kakas, Antonis C. %A Mancarella, Paolo %B ISLP %D 1991 %E Saraswat, Vijay A. %E Ueda, Kazunori %I MIT Press %K dblp %P 85-100 %T Stable Theories for Logic Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp91.html#KakasM91 %@ 0-262-69147-7

@inproceedings{conf/slp/KakasM91, added-at = {2013-12-04T00:00:00.000+0100}, author = {Kakas, Antonis C. and Mancarella, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/27a9548b5a74982c4d2ba7f851fdd39d9/dblp}, booktitle = {ISLP}, crossref = {conf/slp/1991}, editor = {Saraswat, Vijay A. and Ueda, Kazunori}, interhash = {b92b9053fa6548b96a0fd3a7294cc5d7}, intrahash = {7a9548b5a74982c4d2ba7f851fdd39d9}, isbn = {0-262-69147-7}, keywords = {dblp}, pages = {85-100}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:29.000+0100}, title = {Stable Theories for Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp91.html#KakasM91}, year = 1991 }