Kousha Etessami, Moshe Y. Vardi, Thomas Wilke. First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput., 179(2):279-295, 2002. [doi]
@article{EtessamiVW02, title = {First-Order Logic with Two Variables and Unary Temporal Logic}, author = {Kousha Etessami and Moshe Y. Vardi and Thomas Wilke}, year = {2002}, doi = {10.1006/inco.2001.2953}, url = {http://dx.doi.org/10.1006/inco.2001.2953}, tags = {logic}, researchr = {https://researchr.org/publication/EtessamiVW02}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {279-295}, }