An integrated development environment for probabilistic relational reasoning

Marc Finthammer, Matthias Thimm. An integrated development environment for probabilistic relational reasoning. Logic Journal of the IGPL, 20(5):831-871, 2012. [doi]

Abstract

Abstract is missing.