Radzikowska, Anna: Formalization of Reasoning about Default Action. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [other-aspects]. Code: [Radzikowska96A].