First-Order Logic with Two Variables and Unary Temporal Logic.

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

Browse the full LICS paper archive.