Javier Pinto Amílcar Sernadas Cristina Sernadas Paulo Mateus Nondeterminism and Uncertainty in the Situation Calculus. 454-460 1999 conf/flairs/1999 FLAIRS Conference db/conf/flairs/flairs1999.html#PintoSSM99