%0 Conference Paper %1 conf/iclp/Blair82 %A Blair, Howard A. %B ICLP %D 1982 %E Caneghem, Michel Van %I ADDP-GIA %K dblp %P 164-168 %T The Undecidability of Two Completeness Notions for the "Negation as Failure". %U http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#Blair82

@inproceedings{conf/iclp/Blair82, added-at = {2013-11-29T00:00:00.000+0100}, author = {Blair, Howard A.}, biburl = {https://www.bibsonomy.org/bibtex/28d9c811b9f8d93ef9d77622c6f881b7b/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1982}, editor = {Caneghem, Michel Van}, interhash = {99111b3582b21b413d1c30298a53e310}, intrahash = {8d9c811b9f8d93ef9d77622c6f881b7b}, keywords = {dblp}, pages = {164-168}, publisher = {ADDP-GIA}, timestamp = {2013-11-30T11:33:19.000+0100}, title = {The Undecidability of Two Completeness Notions for the "Negation as Failure".}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#Blair82}, year = 1982 }