ETESSAMI, K.; VARDI, M.; WILKE, T. First-Order Logic with Two Variables and Unary Temporal Logic. BRICS Report Series, v. 4, n. 5, 5 Jan. 1997.