K. Etessami, M. Y. Vardi, og T. Wilke, “First-Order Logic with Two Variables and Unary Temporal Logic”, BRICS, bd. 4, nr. 5, jan. 1997.