A. A. Chubaryan, “On Quantified Splitting Proof System for Propositional Calculi”, MPCS, vol. 62, pp. 9–16, Dec. 2024.