@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}
}