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