Benevides, M., 		Fernandez, L., & 		de Oliveira, A.
(2017).
Epistemic Logic Based on Dolev-Yao Model.
In <em>Anais do II Encontro de Teoria da Computação</em>. Porto Alegre: SBC.
doi:10.5753/etc.2017.3180