Jonathan Stillman The Complexity of Propositional Default Logics. 794-799 1992 AAAI db/conf/aaai/aaai92.html#Stillman92