FORBIDDEN MOVES UNKNOT A VIRTUAL KNOT
Abstract
We show that any virtual knot can be deformed into a trivial knot by a finite sequence of generalized Reidemeister moves and "forbidden moves". We also show that a Δ-unknotting operation is realized by a finite sequence of generalized Reidemeister moves and "forbidden moves".