An integrated development environment for probabilistic relational reasoning. - Finthammer, Marc; Thimm, Matthias (Logic Journal of the IGPL, 2012)