@ARTICLE {2562,
author={JAP Pinto and A. Sernadas and C. Sernadas and P. Mateus},
doi={},
journal={International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems},
title={Non-determinism and uncertainty in the Situation Calculus},
year={2000},
month={January},
volume={8},
number={2},
pages={127-149},
ISSN={0218-4885}
}