@InProceedings{LIS114,
title = {Lifted Probabilistic Inference with Counting Formulas},
author = {Brian Milch and Luke S. Zettlemoyer and Kristian Kersting and Michael Haimes and Leslie Pack Kaelbling},
year = {2008},
url = {http://people.csail.mit.edu/lpk/papers/mzkhk-aaai08.pdf},
booktitle = {Twenty Third Conference on Artificial Intelligence (AAAI)},
}