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