A Decidability Result for Second Order (1978)

by R Parikh
Venue:Process Logic, Proc. 19th IEEE FOCS