Etessami, K., Vardi, M. and Wilke, T. (1997) “First-Order Logic with Two Variables and Unary Temporal Logic”, BRICS Report Series, 4(5). doi: 10.7146/brics.v4i5.18784.