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://93.187.165.2/index.php/mpcs/article/view/511 (Accessed: 16November2024).