Etessami, Kousha, m.fl. “First-Order Logic With Two Variables and Unary Temporal Logic”. BRICS Report Series, bd. 4, nr. 5, januar 1997, doi:10.7146/brics.v4i5.18784.