Research Studies Press Ltd
Logic and language

Apt, K., & Schaerf, A. (1990). Programmig in Alma-0, or imperative and declarative programming reconciled. In Comining systems 2 (pp. 1–16). Research Studies Press Ltd.