## Emanuel Kieronski, Lidia Tendera

*On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations*

LICS, 2009.

@inproceedings{LICS-2009-KieronskiT, author = "Emanuel Kieronski and Lidia Tendera", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.39", isbn = "978-0-7695-3746-7", pages = "123--132", publisher = "{IEEE Computer Society}", title = "{On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations}", year = 2009, }