Etessami, K.; Vardi, M. Y.; Wilke, T. First-Order Logic With Two Variables and Unary Temporal Logic. BRICS 1997, 4.