Domain Recursion for Lifted Inference with Existential Quantifiers (bibtex)

@inproceedings {KazemiStarAI17,
  author = {Kazemi, Seyed Mehran and Kimmig, Angelika and Van den Broeck, Guy and Poole, David},
  title = {Domain Recursion for Lifted Inference with Existential Quantifiers},
  booktitle = {Seventh International Workshop on Statistical Relational AI (StarAI)},
  month = Aug,
  year = {2017},
  url = "http://starai.cs.ucla.edu/papers/KazemiStarAI17.pdf",
  keywords={workshop}
}