Chubaryan AA. On Quantified Splitting Proof System for Propositional Calculi. MPCS [Internet]. 2024Dec.1 [cited 2025Apr.30];62:9-16. Available from: http://www.mpcs.sci.am/index.php/mpcs/article/view/856