Expressiveness vs. complexity in nonmonotonic knowledge bases: propositional case