@article{Kiero_ski_2014,
    doi = {10.1137/120900095},
    url = {https://doi.org/10.1137%2F120900095},
    year = {2014},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {43},
    number = {3},
    pages = {1012--1063},
    author = {Emanuel Kiero{\'{n}}ski and Jakub Michaliszyn and Ian Pratt-Hartmann and Lidia Tendera},
    title = {Two-Variable First-Order Logic with Equivalence Closure},
    journal = {{SIAM} Journal on Computing}
}

@article{Kiero_ski_2014, doi = {10.1137/120900095}, url = {https://doi.org/10.1137%2F120900095}, year = {2014}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {43}, number = {3}, pages = {1012--1063}, author = {Emanuel Kiero{\'{n}}ski and Jakub Michaliszyn and Ian Pratt-Hartmann and Lidia Tendera}, title = {Two-Variable First-Order Logic with Equivalence Closure}, journal = {{SIAM} Journal on Computing} }