Towards a theory of declarative knowledge, in: J. Minker (Ed.), Foundations of deductive databases and logic programming (1988)

by K R Apt, H A Blair, A Walker