Andréka, H. and Németi, I. 1978. The generalised completeness of Horn predicate-logic as a programming language. Acta Cybernetica. 4, 1 (Jan. 1978), 3-10.