On reasoning by cases in default logic
On the Logic of Defaults.
Default Logic and Constructive Logic.