%0 Journal Article %1 journals/igpl/FinthammerT12 %A Finthammer, Marc %A Thimm, Matthias %D 2012 %J Logic Journal of the IGPL %K %N 5 %P 831-871 %T An integrated development environment for probabilistic relational reasoning. %U http://dblp.uni-trier.de/db/journals/igpl/igpl20.html#FinthammerT12 %V 20

@article{journals/igpl/FinthammerT12, added-at = {2023-12-12T18:03:57.000+0100}, author = {Finthammer, Marc and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/22d364626b6a138de699ea6438e79c853/admin}, ee = {http://dx.doi.org/10.1093/jigpal/jzs009}, interhash = {0ce9a90137655b2584dd18b29e75406d}, intrahash = {2d364626b6a138de699ea6438e79c853}, journal = {Logic Journal of the IGPL}, keywords = {}, number = 5, pages = {831-871}, timestamp = {2023-12-12T18:03:57.000+0100}, title = {An integrated development environment for probabilistic relational reasoning.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl20.html#FinthammerT12}, volume = 20, year = 2012 }