A Hierarchy of Tractable Subsets for Computing Stable Models