@unpublished{Gretz:PPS:2016,
  title={On the Semantic Intricacies of Conditioning},
  author={Gretz, Friedrich and Jansen, Nils and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Olmedo, Federico},
  howpublished = {Extended Abstracts of the 1st Workshop on Probabilistic Programming Semantics ({PPS} 2016)},
year={2016},
url={https://popl16.sigplan.org/track/pps-2016}
}