R. A. de Freitas e H. de A. Feitosa, “A new tableaux system for KD”, C. Q. D., vol. 19, dez. 2020.