Luiz Fernandez and Mario Benevides. 2023.
 A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic. In <em>Anais do IV Workshop Brasileiro de Lógica</em>, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/wbl.2023.230019">https://doi.org/10.5753/wbl.2023.230019</a>.