What is a Logic Program
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/asp/Lifschitz05,
author = {Vladimir Lifschitz},
title = {What is a Logic Program},
booktitle = {Answer Set Programming},
year = {2005},
ee = {http://www.ceur-ws.org/Vol-142/invited.pdf},
crossref = {DBLP:conf/asp/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
