On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (1994)
Niemelä Ilkka , Rintanen J.