Probabilistic Program Abstractions (bibtex)

@inproceedings{HoltzenStarAI17,
  author    = {Holtzen, Steven and Millstein, Todd and Van den Broeck, Guy},
  title     = {Probabilistic Program Abstractions},
  booktitle = {Seventh International Workshop on Statistical Relational AI (StarAI)},
  url = "http://starai.cs.ucla.edu/papers/HoltzenUAI17.pdf",
  month = Aug,
  year={2017},
  keywords={workshop,duplicate}
}