Freitas, R. A. de, e H. de A. Feitosa. “A New Tableaux System for KD”. C.Q.D. - Revista Eletrônica Paulista De Matemática, vol. 19, dezembro de 2020, https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/299.