Computing minimal models, stable models and answer sets.

Zbigniew Lonc Miroslaw Truszczynski Computing minimal models, stable models and answer sets. 395-449 2006 6 TPLP 4 http://dx.doi.org/10.1017/S1471068405002607 db/journals/tplp/tplp6.html#LoncT06