@article{Kiero_ski_2015,
    doi = {10.1093/logcom/exv075},
    url = {https://doi.org/10.1093%2Flogcom%2Fexv075},
    year = {2015},
    month = {dec},
    publisher = {Oxford University Press ({OUP})},
    pages = {exv075},
    author = {Emanuel Kiero{\'{n}}ski and Ian Pratt-Hartmann and Lidia Tendera},
    title = {Equivalence closure in the two-variable guarded fragment},
    journal = {Journal of Logic and Computation}
}

@article{Kiero_ski_2015, doi = {10.1093/logcom/exv075}, url = {https://doi.org/10.1093%2Flogcom%2Fexv075}, year = {2015}, month = {dec}, publisher = {Oxford University Press ({OUP})}, pages = {exv075}, author = {Emanuel Kiero{\'{n}}ski and Ian Pratt-Hartmann and Lidia Tendera}, title = {Equivalence closure in the two-variable guarded fragment}, journal = {Journal of Logic and Computation} }