TY - RPRT TI - Running Probabilistic Programs Backwards AU - Neil Toronto AU - Jay McCarthy AU - David Van Horn PY - 2015 UR - https://arxiv.org/abs/1412.4053 ID - 1412.4053 ER -