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