Definitions in Answer Set Programming: (Extended Abstract)

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/iclp/ErdoganL03,

 author    = {Selim T. Erdogan and
              Vladimir Lifschitz},
 title     = {Definitions in Answer Set Programming: (Extended Abstract)},
 booktitle = {ICLP},
 year      = {2003},
 pages     = {483-484},
 ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2916{\&}spage=483},
 crossref  = {DBLP:conf/iclp/2003},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}