Chubaryan, A.A. 2024. On Quantified Splitting Proof System for Propositional Calculi. Mathematical Problems of Computer Science. 62, (Dec. 2024), 9–16.