Resolution for Skeptical Stable Model Semantics

Piero A. Bonatti. Resolution for Skeptical Stable Model Semantics. Journal of Automated Reasoning, 27(4):391-421, 2001.

Abstract

Abstract is missing.