TY - RPRT TI - Deciding contractibility of a non-simple curve on the boundary of a 3-manifold: A computational Loop Theorem AU - Éric Colin de Verdière AU - Salman Parsa PY - 2020 UR - https://arxiv.org/abs/2001.04747 ID - 2001.04747 ER -