@inproceedings{DBLP:conf/lics/KieronskiT09,
    Author = {Kieronski, Emanuel and Tendera, Lidia},
    BookTitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
    Pages = {123--132},
    Publisher = {{IEEE} Computer Society},
    Title = {On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations},
    URL = {https://doi.org/10.1109/LICS.2009.39},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2009.39},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/conf/lics/KieronskiT09.bib},
    date-added = {2021-03-18 15:00:02 +0100},
    date-modified = {2021-03-18 15:00:02 +0100},
    timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
    doi = {10.1109/LICS.2009.39}
}

@inproceedings{DBLP:conf/lics/KieronskiT09, Author = {Kieronski, Emanuel and Tendera, Lidia}, BookTitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}}, Pages = {123--132}, Publisher = {{IEEE} Computer Society}, Title = {On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations}, URL = {https://doi.org/10.1109/LICS.2009.39}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2009.39}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/conf/lics/KieronskiT09.bib}, date-added = {2021-03-18 15:00:02 +0100}, date-modified = {2021-03-18 15:00:02 +0100}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, doi = {10.1109/LICS.2009.39} }