## Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

*First-Order Logic with Two Variables and Unary Temporal Logic*

LICS, 1997.

@inproceedings{LICS-1997-EtessamiVW, author = "Kousha Etessami and Moshe Y. Vardi and Thomas Wilke", booktitle = "{Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1997.614950", isbn = "0-8186-7925-5", pages = "228--235", publisher = "{IEEE Computer Society}", title = "{First-Order Logic with Two Variables and Unary Temporal Logic}", year = 1997, }