Minimal generating sets of Reidemeister moves - Michael Polyak (2009)