Chubaryan, A. A. (2024). On Quantified Splitting Proof System for Propositional Calculi. Mathematical Problems of Computer Science, 62, 9–16. https://doi.org/10.51408/1963-0116