TY - RPRT TI - Testing cycle-freeness: Finding a certificate AU - C. Seshadhri PY - 2009 UR - https://arxiv.org/abs/0906.5010 ID - 0906.5010 ER -