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