Etessami, Kousha, Moshe Vardi, and Thomas Wilke. “First-Order Logic With Two Variables and Unary Temporal Logic”. BRICS Report Series 4, no. 5 (January 5, 1997). Accessed October 23, 2019. https://tidsskrift.dk/brics/article/view/18784.