Towards a theory of declarative knowledge (1988)

by K R Apt, H A Blair, A Walker