Chubaryan, A. A. (2024). On Quantified Splitting Proof System for Propositional Calculi. Mathematical Problems of Computer Science, 62, 9–16. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/856