Deterministic propositional dynamic logic: Finite models, complexity, and completeness (1982)

by M Ben-Ari, J Y Halpern, A Pnueli
Venue:J. of Computer and System Sciences