TY - RPRT TI - A clean way to separate sets of surreals AU - Paolo Lipparini PY - 2018 UR - https://arxiv.org/abs/1712.03500 ID - 1712.03500 ER -