Towards a theory of declarative knowledge (1988)

by K R Apt, H Blair, A Walker
Venue:Foundations of Deductive Databases and Logic Programming Los Altos