@article{Olmedo:2013:TOPLAS,
  author = {Federico Olmedo and Friedrich Gretz and Nils Jansen and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Annabelle Mciver},
  title = {Conditioning in Probabilistic Programming},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {40},
  number = {1},
  issue_date = {January 2018},
  year = {2018},
  publisher = {ACM}
}