Characterizing Kripke structures in propositional temporal logic. Theoretical Computer Science (1988)

by M Browne, E Clarke, O Grumberg