Hajnal Andréka, István Németi. The generalized completeness of Horn predicate-logic as a programming language. Acta Cybern., 4:3-10, 1980.
@article{AndrekaN80,
title = {The generalized completeness of Horn predicate-logic as a programming language},
author = {Hajnal Andréka and István Németi},
year = {1980},
tags = {programming languages, completeness, logic programming, programming, logic},
researchr = {https://researchr.org/publication/AndrekaN80},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {4},
pages = {3-10},
}