Chubaryan, A. A. (2024) “On Quantified Splitting Proof System for Propositional Calculi”, Mathematical Problems of Computer Science, 62, pp. 9–16. Available at: http://mpcs.sci.am/index.php/mpcs/article/view/856 (Accessed: 22December2024).