Results on the propositional mu-calculus (1983)

by Dexter Kozen
Venue:Theoretical Computer Science