TY - RPRT TI - A tree traversal algorithm for decision problems in knot theory and 3-manifold topology AU - Benjamin A. Burton AU - Melih Ozlen PY - 2012 DO - 10.1007/s00453-012-9645-3 UR - https://arxiv.org/abs/1010.6200 ID - 1010.6200 ER -