J. Wang and M. Valtorta, “A Framework for Integration of Logical and Probabilistic Knowledge”, AAAI, vol. 25, no. 1, pp. 1822-1823, Aug. 2011.