Riccardo Rosati Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. 47-48 1998 ECAI db/conf/ecai/ecai98.html#Rosati98a