@inproceedings{6280462,
    Author = {{Kieronski}, E. and {Michaliszyn}, J. and {Pratt-Hartmann}, I. and {Tendera}, L.},
    BookTitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science},
    File = {Two-Variable First-Order Logic with Equivalence Closurek - ieronski2012 - w.pdf},
    Pages = {431-440},
    Title = {Two-Variable First-Order Logic with Equivalence Closure},
    Year = {2012},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2012.53},
    date-added = {2021-03-18 15:00:20 +0100},
    date-modified = {2021-03-18 15:00:20 +0100},
    doi = {10.1109/LICS.2012.53}
}

@inproceedings{6280462, Author = {{Kieronski}, E. and {Michaliszyn}, J. and {Pratt-Hartmann}, I. and {Tendera}, L.}, BookTitle = {2012 27th Annual IEEE Symposium on Logic in Computer Science}, File = {Two-Variable First-Order Logic with Equivalence Closurek - ieronski2012 - w.pdf}, Pages = {431-440}, Title = {Two-Variable First-Order Logic with Equivalence Closure}, Year = {2012}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2012.53}, date-added = {2021-03-18 15:00:20 +0100}, date-modified = {2021-03-18 15:00:20 +0100}, doi = {10.1109/LICS.2012.53} }