CHUBARYAN, A. A. On Quantified Splitting Proof System for Propositional Calculi. Mathematical Problems of Computer Science, [S. l.], v. 62, p. 9–16, 2024. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/856. Acesso em: 22 dec. 2024.