Logical questions concerning the µ-calculus (0)

by G d’Agostino, M Hollenberg
Venue:Journal of Symbolic Logic