@INPROCEEDINGS {5747,
author={J. Pinto and A. Sernadas and C. Sernadas and P. Mateus},
booktitle={International Florida AI Research Symp. - FLAIRS},
title={Non-determinism and uncertainty in the Situation Calculus},
year={1999},
month={January},
volume={-},
pages={454-460} 
}