Krzysztof R. Apt Howard A. Blair Adrian Walker Towards a Theory of Declarative Knowledge. 89-148 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#AptBW88