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