S. M. . Sayadyan, “Relative Efficiency of Nonclassical Resolution and Cut-free Sequent System”, MPCS, vol. 28, pp. 135–140, Dec. 2021.