Michael C. Browne Edmund M. Clarke Orna Grumberg Characterizing Finite Kripke Structures in Propositional Temporal Logic. 115-131 1988 59 Theor. Comput. Sci. db/journals/tcs/tcs59.html#BrowneCG88 http://dx.doi.org/10.1016/0304-3975(88)90098-9