UNKNOTTING VIRTUAL KNOTS WITH GAUSS DIAGRAM FORBIDDEN MOVES
Abstract
The forbidden moves can be combined with Gauss diagram Reidemeister moves to obtain move sequences with which we may change any Gauss diagram (and hence any virtual knot) into any other, including in particular the unknotted diagram.