@article(BojanczykDMSS11,
 author       = {M. Boja{{n}}czyk and C. David and A. Muscholl and T. Schwentick and L. Segoufin},
 year         = {2011},
 title        = {Two-variable logic on data words},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {12},
 number       = {4},
 pages        = {27:1--27:26},
 doi          = {10.1145/1970398.1970403},
)
@article(BojanczykMSS09,
 author       = {M. Bojanczyk and A. Muscholl and T. Schwentick and L. Segoufin},
 year         = {2009},
 title        = {Two-variable logic on data trees and {XML} reasoning},
 journal      = {J. {ACM}},
 volume       = {56},
 number       = {3},
 doi          = {10.1145/1516512.1516515},
)
@inproceedings(bollig-local-fsttcs21,
 author       = {Benedikt Bollig and Arnaud Sangnier and Olivier Stietel},
 year         = {2021},
 title        = {Local First-Order Logic with Two Data Values},
 booktitle    = {{FSTTCS}'21},
 series       = {LIPIcs},
 volume       = {213},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {39:1--39:15},
 doi          = {10.4230/LIPIcs.FSTTCS.2021.39},
)
@book(borger-classical-springer97,
 author       = {Egon B{\"{o}}rger and Erich Gr{\"{a}}del and Yuri Gurevich},
 year         = {1997},
 title        = {The Classical Decision Problem},
 series       = {Perspectives in Mathematical Logic},
 publisher    = {Springer},
 doi          = {10.1023/A:1008334715902},
)
@inproceedings(DeckerHLT14,
 author       = {N. Decker and P. Habermehl and M. Leucker and D. Thoma},
 year         = {2014},
 title        = {Ordered Navigation on Multi-attributed Data Words},
 editor       = {Paolo Baldan and Daniele Gorla},
 booktitle    = {{CONCUR}'14},
 series       = {Lecture Notes in Computer Science},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {497--511},
 doi          = {10.1007/978-3-662-44584-6\_34},
)
@article(etessami-first-ic02,
 author       = {Kousha Etessami and Moshe Y. Vardi and Thomas Wilke},
 year         = {2002},
 title        = {First-Order Logic with Two Variables and Unary Temporal Logic},
 journal      = {Inf. Comput.},
 volume       = {179},
 number       = {2},
 pages        = {279--295},
 doi          = {10.1006/inco.2001.2953},
)
@article(Fitting12,
 author       = {Melvin Fitting},
 year         = {2012},
 title        = {Torben Bra{\"{u}}ner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. {XIII+231.} {ISBN:} 978-94-007-0001-7},
 journal      = {Stud Logica},
 volume       = {100},
 number       = {5},
 pages        = {1051--1053},
 doi          = {10.1007/s11225-012-9439-2},
)
@inproceedings(Gai82,
 author       = {H. Gaifman},
 year         = {1982},
 title        = {On local and nonlocal properties},
 editor       = {J. Stern},
 booktitle    = {Logic Colloquium '81},
 publisher    = {North-Holland},
 pages        = {105--135},
 doi          = {10.1016/S0049-237X(08)71879-2},
)
@incollection(Han65,
 author       = {W. Hanf},
 year         = {1965},
 title        = {Model-theoretic methods in the study of elementary logic},
 editor       = {J.W. Addison and L. Henkin and A. Tarski},
 booktitle    = {The Theory of Models},
 publisher    = {North Holland},
 pages        = {132--145},
 doi          = {10.2307/2271017},
)
@article(Janiczak-Undecidability-fm53,
 author       = {A. Janiczak},
 year         = {1953},
 title        = {Undecidability of some simple formalized theories},
 journal      = {Fundamenta Mathematicae},
 volume       = {40},
 pages        = {131--139},
 doi          = {10.2307/2964197},
)
@inproceedings(KaraSZ10,
 author       = {A. Kara and T. Schwentick and T. Zeume},
 year         = {2010},
 title        = {Temporal Logics on Words with Multiple Data Values},
 editor       = {Kamal Lodaya and Meena Mahajan},
 booktitle    = {{FSTTCS}'10},
 series       = {LIPIcs},
 volume       = {8},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {481--492},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.481},
)
@inproceedings(Kieronski05,
 author       = {E. Kieronski},
 year         = {2005},
 title        = {Results on the Guarded Fragment with Equivalence or Transitive Relations},
 editor       = {C.{-}H. Luke Ong},
 booktitle    = {{CSL}'05},
 series       = {Lecture Notes in Computer Science},
 volume       = {3634},
 publisher    = {Springer},
 pages        = {309--324},
 doi          = {10.1007/11538363\_22},
)
@inproceedings(KieronskiT09,
 author       = {E. Kieronski and L. Tendera},
 year         = {2009},
 title        = {On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations},
 booktitle    = {{LICS}'09},
 publisher    = {{IEEE}},
 pages        = {123--132},
 doi          = {10.1109/LICS.2009.39},
)
@book(Libkin04,
 author       = {L. Libkin},
 year         = {2004},
 title        = {Elements of Finite Model Theory},
 series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-07003-1},
)
@inproceedings(ManuelZ13,
 author       = {A. Manuel and T. Zeume},
 year         = {2013},
 title        = {Two-Variable Logic on 2-Dimensional Structures},
 editor       = {Simona Ronchi Della Rocca},
 booktitle    = {{CSL}'13},
 series       = {LIPIcs},
 volume       = {23},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {484--499},
 doi          = {10.4230/LIPIcs.CSL.2013.484},
)
@article(Mundhenk09,
 author       = {Martin Mundhenk and Thomas Schneider},
 year         = {2009},
 title        = {The Complexity of Hybrid Logics over Equivalence Relations},
 journal      = {J. Log. Lang. Inf.},
 volume       = {18},
 number       = {4},
 pages        = {493--514},
 doi          = {10.1007/s10849-009-9089-6},
)
@article(Tan14,
 author       = {T. Tan},
 year         = {2014},
 title        = {Extending two-variable logic on data trees with order on data values and its automata},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {15},
 number       = {1},
 pages        = {8:1--8:39},
 doi          = {10.1145/2559945},
)