A Hierarchy of Tractable Subsets for Computing Stable Models

Open in new window