Computing Minimal Models, Stable Models, and Answer Sets.

Zbigniew Lonc, Miroslaw Truszczynski

Browse the full ICLP paper archive.