Morgan Kaufmann Publischers
Logic and language

Apt, K., Blair, H. A., & Walker, A. (1988). Towards a theory of declarative knowledge. In Foundations of Deductive databases and logic programming (pp. 89–148). Morgan Kaufmann Publischers.