Jonathan Stillman It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. 571-578 1990 AAAI db/conf/aaai/aaai90.html#Stillman90