CHUBARYAN, A. A. On Quantified Splitting Proof System for Propositional Calculi. Mathematical Problems of Computer Science, [S. l.], v. 62, p. 9–16, 2024. DOI: 10.51408/1963-0116. Disponível em: https://mpcs.sci.am/index.php/mpcs/article/view/856. Acesso em: 2 apr. 2025.