A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs | Read Paper on Bytez