Logical Foundations of Deductive Databases
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ifip/Lifschitz89,
author = {Vladimir Lifschitz},
title = {Logical Foundations of Deductive Databases},
booktitle = {IFIP Congress},
year = {1989},
pages = {315-321},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
