K. Etessami, M. Y. Vardi, and T. Wilke, “First-Order Logic with Two Variables and Unary Temporal Logic”, BRICS, vol. 4, no. 5, Jan. 1997.