@article{Finthammer:2012b,
	Author = {Marc Finthammer and Matthias Thimm},
	Journal = {Logic Journal of the IGPL},
	Month = {October},
	Number = {5},
	Pages = {831--871},
	Title = {An Integrated Development Environment for Probabilistic Relational Reasoning},
	Volume = {20},
	Year = {2012}}