Freitas, R. A. de e Feitosa, H. de A. (2020) “A new tableaux system for KD”, C.Q.D. - Revista Eletrônica Paulista de Matemática. Bauru, 19. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/299 (Acessado: 22 novembro 2024).