Brian Milch Luke S. Zettlemoyer Kristian Kersting Michael Haimes Leslie Pack Kaelbling Lifted Probabilistic Inference with Counting Formulas. 1062-1068 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#MilchZKHK08