Victor W. Marek, Jeffrey B. Remmel. Compactness Properties for Stable Semantics of Logic Programs. Fundamenta Informaticae, 81(1-3):211-239, 2007. [doi]
@article{MarekR07:0,
title = {Compactness Properties for Stable Semantics of Logic Programs},
author = {Victor W. Marek and Jeffrey B. Remmel},
year = {2007},
url = {http://iospress.metapress.com/content/20n3v71794761257/},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/MarekR07%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {81},
number = {1-3},
pages = {211-239},
}