@article{doner_hodges_1988,
    Author = {Doner, John and Hodges, Wilfrid},
    File = {Alfred Tarski and Decidable Theories - doner1988 (0) - a - a - u.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {1},
    Pages = {20--35},
    Publisher = {Cambridge University Press},
    Title = {Alfred Tarski and decidable theories},
    Volume = {53},
    Year = {1988},
    bdsk-url-1 = {https://doi.org/10.1017/S0022481200028905},
    date-added = {2018-09-03 14:48:29 +0000},
    date-modified = {2018-09-03 14:48:29 +0000},
    doi = {10.1017/S0022481200028905}
}

@article{doner_hodges_1988, Author = {Doner, John and Hodges, Wilfrid}, File = {Alfred Tarski and Decidable Theories - doner1988 (0) - a - a - u.pdf}, Journal = {Journal of Symbolic Logic}, Number = {1}, Pages = {20--35}, Publisher = {Cambridge University Press}, Title = {Alfred Tarski and decidable theories}, Volume = {53}, Year = {1988}, bdsk-url-1 = {https://doi.org/10.1017/S0022481200028905}, date-added = {2018-09-03 14:48:29 +0000}, date-modified = {2018-09-03 14:48:29 +0000}, doi = {10.1017/S0022481200028905} }