Mordechai Ben‐Ari
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
Mordechai Ben‐Ari and others (1982) · Journal of Computer and System Sciences · Elsevier BV