de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., & Demri, S. (2003). Deciding Modal Logics through Relational Translations into GF2. In Proceedings of the 3rd Methods for Modalities Workshop (pp. 15-30). Nancy, France: Loria.