Vardi, Moshe Y.

• BRICS Report Series No. 5 (1997): RS-05 First-Order Logic with Two Variables and Unary Temporal Logic - Articles
  First-Order Logic with Two Variables and Unary Temporal Logic
  Abstract  PDF