J. Choi, R. de Salvo Braz, and H. Bui, “Efficient Methods for Lifted Inference with Aggregate Factors”, AAAI, vol. 25, no. 1, pp. 1030-1036, Aug. 2011.