Hajnal Andréka, István Németi, Ildikó Sain. A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II. Theoretical Computer Science, 17:259-278, 1982.
@article{AndrekaNS82a,
title = {A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II},
author = {Hajnal Andréka and István Németi and Ildikó Sain},
year = {1982},
tags = {completeness, logic programming, logic},
researchr = {https://researchr.org/publication/AndrekaNS82a},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {17},
pages = {259-278},
}