Piero A. Bonatti. Resolution for Skeptical Stable Model Semantics. Journal of Automated Reasoning, 27(4):391-421, 2001.
@article{Bonatti01:0,
title = {Resolution for Skeptical Stable Model Semantics},
author = {Piero A. Bonatti},
year = {2001},
tags = {semantics},
researchr = {https://researchr.org/publication/Bonatti01%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {27},
number = {4},
pages = {391-421},
}