Mathematical Foundations of Answer Set Programming
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/birthday/FerrarisL05,
author = {Paolo Ferraris and
Vladimir Lifschitz},
title = {Mathematical Foundations of Answer Set Programming},
booktitle = {We Will Show Them! (1)},
year = {2005},
pages = {615-664},
crossref = {DBLP:conf/birthday/2005gabbay1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
