@article{Olmedo:2015:MFPS, title={Conditioning in Probabilistic Programming}, author={Jansen, Nils and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Olmedo, Federico and Gretz, Friedrich and McIver, Annabelle}, journal={Electronic Notes in Theoretical Computer Science}, volume={319}, pages={199--216}, year={2015}, publisher={Elsevier} }