Er bewies unter anderem eine obere Schranke (polynomial in der Anzahl der Kreuzungen) für die Anzahl der Reidemeister-Bewegungen um ein Diagramm eines Unknotens in das triviale Diagramm zu überführen.