Lifted Variable Elimination for Probabilistic Logic Programming | Read Paper on Bytez