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