Benevides, M., 		Fernandez, L., & 		de Oliveira, A.
2017 jul  2.  Epistemic Logic Based on Dolev-Yao Model. Anais do Encontro de Teoria da Computação (ETC). [Online] :