Sayadyan, S. M. . (2021). Relative Efficiency of Nonclassical Resolution and Cut-free Sequent System. Mathematical Problems of Computer Science, 28, 135–140. Retrieved from http://www.mpcs.sci.am/index.php/mpcs/article/view/511