1.
Freitas RA de, Feitosa H de A. A new tableaux system for KD. C. Q. D. [Internet]. 21º de dezembro de 2020 [citado 22º de novembro de 2024];19. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/299