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 April 19, 2024. https://tidsskrift.dk/brics/article/view/18784.