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