M. Vardi

2 references 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.

First-order logic with two variables and unary temporal logics

K. Etessami and others (1997) · LICS’97

On the Decision Problem for Two-Variable First-Order Logic

E. Grädel and others (1997) · Cambridge University Press (CUP)