Towards an implementation of the b-h algorithm for recognizing the unknot