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