A Decidable Mu-Calculus, 22nd FOCS (1981)

by V Pratt