Sayadyan, S.M. 2021. Relative Efficiency of Nonclassical Resolution and Cut-free Sequent System. Mathematical Problems of Computer Science. 28, (Dec. 2021), 135–140.