Freitas, Romulo Albano de, e Hércules de Araujo Feitosa. “A New Tableaux System for KD”. C.Q.D. - Revista Eletrônica Paulista de Matemática 19 (dezembro 21, 2020). Acessado novembro 22, 2024. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/299.