A zero–one law for logic with a fixed point operator (1985)

by A Blass, Y Gurevich, D Kozen
Venue:Information and Control