The generalised completeness of Horn predicate-logic as a programming language - Andréka, Hajnal; Németi, István (Acta Cybernetica, 1978)