Apt, Krzysztof R.,
Blair, Howard A. and
Walker, Adrian. 1988.
“Towards a Theory of Declarative Knowledge.” in
Foundations of Deductive Databases and Logic Programming, edited by Jack
Minker, pp. 89–148. San Francisco, California: Morgan Kaufmann Publishers.