2020. A new tableaux system for KD. C.Q.D. - Revista Eletrônica Paulista de Matemática. 19, (dez. 2020).