On Modal μ-Calculus and Non-Well-Founded Set Theory. - Luca Alberucci; Vincenzo Salipante (J. Philos. Log., 2004)