A decision procedure for the propositional mu-calculus (1984)

by Dexter Kozen, Rohit Parikh
Venue:In Proceedings of the Carnegie Mellon Workshop on Logic of Programs