Turner, Hudson: Representing actions in default logic: a situation calculus approach. Presented at: Common Sense 1996. Venue: Stanford, CA, USA, 6-8.1.1996. Topics: [default-logic]. Code: [Turner96A].