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