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