Patrick Dehornoy Efficient solutions to the braid isotopy problem. 3091-3112 2008 156 Discrete Applied Mathematics 16 http://dx.doi.org/10.1016/j.dam.2007.12.009 db/journals/dam/dam156.html#Dehornoy08