1. Logical questions concerning the μ-calculus;D’Agostino;J. Symbolic Logic,2000
2. G. D’Agostino, G. Lenzi, On Modal μ-Calculus with Explicit Interpolants, ILLC Prepublication Series, PP-2002-17.
3. A sheaf representation and duality for finitely presented Heyting algebras;Ghilardi;J. Symbolic Logic,1995
4. M. Hollenberg, Logic and bisimulation, Ph.D. Thesis, University of Utrecht, Vol. XXIV, Zeno Institute of Philosophy, 1998.
5. D. Janin, I. Walukiewicz, Automata for the modal μ-calculus and related results, in: MFCS’95, Vol. 969, Lecture Notes in Comput. Sci., 1995, pp. 552–562.