Fernandez, L., & 		Benevides, M.
(2023).
 A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic.
In <em>Proceedings of the 4th Brazilian Workshop of Logic</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2023.230019