Sato, T., et al.. Tabling for Infinite Probability Computation. July 2012, doi:10.4230/lipics.iclp.2012.348.