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,
}