Sayadyan, S. M. . Relative Efficiency of Nonclassical Resolution and Cut-Free Sequent System. MPCS 2021, 28, 135-140.