Characterizing finite Kripke structures in propositional temporal logic (1988)

by M C Browne, E M Clarke, O Grumberg
Venue:Theoretical Computer Science