Return to Article Details A Hierarchy of Tractable Subsets for Computing Stable Models Download Download PDF