Chubaryan, A. A. On Quantified Splitting Proof System for Propositional Calculi. MPCS 2024, 62, 9-16.