Sayadyan, S. M. . (2021) “Relative Efficiency of Nonclassical Resolution and Cut-free Sequent System”, Mathematical Problems of Computer Science, 28, pp. 135–140. Available at: http://mpcs.sci.am/index.php/mpcs/article/view/511 (Accessed: 19May2024).