Mario Benevides, Luiz Fernandez, and Anna de Oliveira. 2017.
Epistemic Logic Based on Dolev-Yao Model. In Anais do II Encontro de Teoria da Computação, julho 02, 2017, São Paulo, Brasil. SBC, Porto Alegre, Brasil, 13-16. DOI: https://doi.org/10.5753/etc.2017.3180.