V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. The Stable Models of a Predicate Logic Program. In JICSLP. pages 446-460, 1992.
@inproceedings{MarekNR92:0,
title = {The Stable Models of a Predicate Logic Program},
author = {V. Wiktor Marek and Anil Nerode and Jeffrey B. Remmel},
year = {1992},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/MarekNR92%3A0},
cites = {0},
citedby = {0},
pages = {446-460},
booktitle = {JICSLP},
}