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