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

by M Ben-Ari, J Y Halpern, A Pnueli
Venue:In Proc. of ICDE’97