The Nondeterministic Situation Calculus.

Giuseppe De Giacomo, Yves Lesprance

Browse the full KR paper archive.