Results on the propositional µ-calculus, Theoret (1983)

by D Kozen
Venue:Comput. Sci