Algorithm of Reduction - N. K. Solovarov (2003)