Alferes, José Júlio, Renwei Li and Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. Presented at: Portuguese Conference on Artificial Intelligence, 1995. Venue: Funchal, Madeira, Portugal, 3.10-6.10. Proceedings published by Springer Verlag. Topics: [composite], [sit-calculus]. Code: [Alferes95A].