Non-Atomic Actions in the Situation Calculus.

Jos Jlio Alferes, Renwei Li, Lus Moniz Pereira

Browse the full EPIA paper archive.