Results on the Propositional muCalculus (1983)

by D Kozen
Venue:Theoretical Computer Science