Results on the propositional µ-calculus (1983)

by D Kozen
Venue:Theoretical Computer Science