Domain Recursion for Lifted Inference with Existential Quantifiers | Read Paper on Bytez