1. Decidability and Expressiveness of Logics of Processes;Abrahamson,1980
2. M. Ben-Ari, personal communication.
3. Finite models of deterministic propositional dynamic logic;Ben-Ari,1981
4. Deterministic propositional dynamic logic: Finite models, complexity, and completeness;Ben-Ari;J. Comput. System Sci.,1982
5. The temporal logic of branching time;Ben-Ari,1981