TY - RPRT TI - A Strong Distillery AU - Beniamino Accattoli AU - Pablo Barenbaum AU - Damiano Mazza PY - 2016 UR - https://arxiv.org/abs/1509.00996 ID - 1509.00996 ER -