@conference{GD10,
author = "V. Gogate and P. Domingos",
booktitle = "26th Conference on Uncertainty in Artificial Intelligence",
title = "{F}ormula-{B}ased {P}robabilistic {I}nference",
url = "http://www.cs.washington.edu/homes/vgogate/papers/uai10.pdf",
year = "2010",
}