lSpace An upper bound on Reidemeister moves (history)

April 12, 2011