On the impact of stratification on the complexity of nonmonotonic reasoning (1994)
Niemelä Ilkka , Rintanen Jussi