José Júlio Alferes Renwei Li Luís Moniz Pereira Non-Atomic Actions in the Situation Calculus. 273-284 1995 conf/epia/1995 EPIA db/conf/epia/epia95.html#AlferesLP95