@article{Macintyre_1983,
    title = {Elimination of quantifiers in algebraic structures},
    volume = {47},
    issn = {0001-8708},
    url = {http://dx.doi.org/10.1016/0001-8708(83)90055-5},
    doi = {10.1016/0001-8708(83)90055-5},
    number = {1},
    journal = {Advances in Mathematics},
    publisher = {Elsevier BV},
    author = {Macintyre, Angus and McKenna, Kenneth and van den Dries, Lou},
    year = {1983},
    month = {jan},
    pages = {74–87},
    date-added = {2024-2-22 15:23:8 +0100}
}

@article{Macintyre_1983, title = {Elimination of quantifiers in algebraic structures}, volume = {47}, issn = {0001-8708}, url = {http://dx.doi.org/10.1016/0001-8708(83)90055-5}, doi = {10.1016/0001-8708(83)90055-5}, number = {1}, journal = {Advances in Mathematics}, publisher = {Elsevier BV}, author = {Macintyre, Angus and McKenna, Kenneth and van den Dries, Lou}, year = {1983}, month = {jan}, pages = {74–87}, date-added = {2024-2-22 15:23:8 +0100} }