Stable models and circumscription

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz. Stable models and circumscription. Artificial Intelligence, 175(1):236-263, 2011. [doi]

Abstract

Abstract is missing.