TY - RPRT TI - A simple algorithm for finding short sigma-definite representatives AU - Jean Fromentin AU - Luis Paris PY - 2011 UR - https://arxiv.org/abs/1101.1400 ID - 1101.1400 ER -