TY - RPRT TI - Probabilistic Couplings for Probabilistic Reasoning AU - Justin Hsu PY - 2017 UR - https://arxiv.org/abs/1710.09951 ID - 1710.09951 ER -