H. Andréka and I. Németi, “The generalised completeness of Horn predicate-logic as a programming language”, Acta Cybern, vol. 4, no. 1, pp. 3-10, Jan. 1978.