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