Chubaryan, A. A. “On Quantified Splitting Proof System for Propositional Calculi”. Mathematical Problems of Computer Science, vol. 62, Dec. 2024, pp. 9-16, http://mpcs.sci.am/index.php/mpcs/article/view/856.