Towards an implementation of the B–H algorithm for recognizing the unknot (0)

by J S Birman, M Rampichini, P Boldi, S Vigna
Venue:J. Knot Theory Ramifications