1. Finite models of deterministic propositional dynamic logic;Ben-Ari;Proc. 8th Internat. Conf. on Automata, Languages, and Programming,1981
2. Deterministic propositional dynamic logic: Finite models, complexity, and completeness;Ben-Ari;J. Comput. System Sci.,1982
3. Expressiveness hierarchy for PDL with rich test;Berman,1978
4. Test-free propositional dynamic logic is strictly weaker than PDL;Berman,1978
5. On the expressive power of nondeterminism in dynamic logic;Berman;Proc. 9th Internat. Conf. on Automata, Languages, and Programming,1982