L. Fernandez and M. Benevides.
" A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic", in <em>Anais do IV Workshop Brasileiro de Lógica</em>, João Pessoa/PB, 2023, pp. 9-16, doi: <a href="https://doi.org/10.5753/wbl.2023.230019">https://doi.org/10.5753/wbl.2023.230019</a>.