@InProceedings{DM05,
author={A. Donaldson and A. Miller},
title={Symmetry Reduction for Probabilistic Systems},
booktitle={Proc. 12th workshop on Automated Reasoning},
year={2005},

editor={},
pages={17-18},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}