Freitas, R. A. de; Feitosa, H. de A. A New Tableaux System for KD. C. Q. D. 2020, 19.