@inproceedings{ICML-2018-HoltzenBM,
	author        = "Steven Holtzen and Guy Van den Broeck and Todd D. Millstein",
	booktitle     = "{Proceedings of the 35th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v80/holtzen18a.html",
	pages         = "2004--2013",
	publisher     = "{PMLR}",
	title         = "{Sound Abstraction and Decomposition of Probabilistic Programs}",
	year          = 2018,
}