Computing minimal models, stable models and answer sets

Zbigniew Lonc, Miroslaw Truszczynski. Computing minimal models, stable models and answer sets. TPLP, 6(4):395-449, 2006. [doi]

Abstract

Abstract is missing.