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