Deterministic Propositional Dynamic Logic: Finite Models (1982)

by M Ben-Ari, J Y Halpern, A Pnueli
Venue:Complexity, and Completeness. J. Comput. Syst. Sci