М. Радішевський and В. Лозицький, “SORTING ALGORITHM METHOD DEDUCTIVE SYNTHESIS RESOLUTION WITH BUILD A TREE REFUTATION AND EVIDENCE”, SBT, vol. 2, no. 2, pp. 79–81, Feb. 2009.