TY - RPRT TI - Eliminating dual spaces AU - Robert Krone AU - Anton Leykin PY - 2015 UR - https://arxiv.org/abs/1503.02038 ID - 1503.02038 ER -