Chubaryan, Anahit A. “On Quantified Splitting Proof System for Propositional Calculi”. Mathematical Problems of Computer Science 62 (December 1, 2024): 9–16. Accessed April 30, 2025. http://www.mpcs.sci.am/index.php/mpcs/article/view/856.