On the Definability of Simulability and Bisimilarity by Finite Epistemic Models | Publicación