A new algorithm for recognizing the unknot. Birman, Joan S.; Hirsch, Michael D. — 1998 Geometry & Topology