Convergent Deduction for Probabilistic Logic | Read Paper on Bytez