TY - RPRT TI - Domain Recursion for Lifted Inference with Existential Quantifiers AU - Seyed Mehran Kazemi AU - Angelika Kimmig AU - Guy Van den Broeck AU - David Poole PY - 2017 UR - https://arxiv.org/abs/1707.07763 ID - 1707.07763 ER -