Computing minimal models, stable models and answer sets

Zbigniew Lonc Miroslaw Truszczynski Computing minimal models, stable models and answer sets http://arxiv.org/abs/cs/0506104 2005 CoRR abs/cs/0506104 db/journals/corr/corr0506.html#abs-cs-0506104 informal publication