@ARTICLE {
	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 (TOPLAS)",
	VOLUME = "40",
	NUMBER = "1",
	PAGES = "4:1-4:50",
	MONTH = "Jan",
	YEAR = "2018",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0164-0925"
	}