Deduction with supernormal defaults
2006 ◽
pp. 153-174
◽