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: http://93.187.165.2/index.php/mpcs/article/view/856. Acesso em: 23 feb. 2025.