A zero-one law for logic with a fixed point operator. Information and Control 67:70--90 (1985)

by A Blass, Y Gurevich, D Kozen