Maurits de Graaf Alexander Schrijver Making Curves Minimally Crossing by Reidemeister Moves. 134-156 1997 70 J. Comb. Theory, Ser. B 1 http://dx.doi.org/10.1006/jctb.1997.1754 db/journals/jct/jctb70.html#GraafS97