M. Benevides, L. Fernandez, and A. de Oliveira.
" Epistemic Logic Based on Dolev-Yao Model", in <em>Anais do II Encontro de Teoria da Computação</em>, São Paulo, 2017, pp. 13-16, doi: <a href="https://doi.org/10.5753/etc.2017.3180">https://doi.org/10.5753/etc.2017.3180</a>.