Lifted Probabilistic Inference with Counting Formulas. - Brian Milch; Luke S. Zettlemoyer; Kristian Kersting; Michael Haimes; Leslie Pack Kaelbling (AAAI, 2008)