BOLIBEKYAN, H. On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms. Mathematical Problems of Computer Science, [S. l.], v. 38, p. 42–43, 2021. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/481. Acesso em: 30 dec. 2024.