Etessami, K., Vardi, M. Y. and Wilke, T. (1997) “First-Order Logic with Two Variables and Unary Temporal Logic”,
BRICS Report Series
, 4(5). doi: 10.7146/brics.v4i5.18784.