@article{GradelOtto:TCS:1999,
    title = {On logics with two variables},
    volume = {224},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/S0304-3975(98)00308-9},
    doi = {10.1016/s0304-3975(98)00308-9},
    number = {1–2},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Grädel, Erich and Otto, Martin},
    year = {1999},
    month = {aug},
    pages = {73--113},
    date-added = {2024-3-31 7:44:6 +0100}
}

@article{GradelOtto:TCS:1999, title = {On logics with two variables}, volume = {224}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/S0304-3975(98)00308-9}, doi = {10.1016/s0304-3975(98)00308-9}, number = {1–2}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Grädel, Erich and Otto, Martin}, year = {1999}, month = {aug}, pages = {73--113}, date-added = {2024-3-31 7:44:6 +0100} }