Benevides, Mario, Luiz C. F. Fernandez, and Anna C. C. M. de Oliveira.
"Epistemic Logic Based on Dolev-Yao Model." <em>Anais do II Encontro de Teoria da Computação,
São Paulo, 2017</em>. SBC, 2017,  
sem paginação.