Lazy Explanation-Based Approximation for Probabilistic Logic Programming | Read Paper on Bytez