Fernandez, Luiz, E 		Benevides, Mario.
" A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (6 agosto 2023)