Towards a theory of declarative knowledge (1988)

by K Apt, H A Blair, A Walker
Venue:Foundations of deductive databases and logic programming