@article{Grigorev:JSC:1988,
    Author = {Grigor'ev, D. Yu},
    File = {1-s2.0-S0747717188800063-main (0) - a - a - q.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Number = {1},
    Pages = {65--108},
    Title = {Complexity of deciding Tarski algebra},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717188800063},
    Volume = {5},
    Year = {1988},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717188800063},
    bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(88)80006-3},
    date-added = {2018-01-09 11:22:23 +0000},
    date-modified = {2020-06-11 08:19:46 +0200},
    doi = {10.1016/S0747-7171(88)80006-3}
}

@article{Grigorev:JSC:1988, Author = {Grigor'ev, D. Yu}, File = {1-s2.0-S0747717188800063-main (0) - a - a - q.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Number = {1}, Pages = {65--108}, Title = {Complexity of deciding Tarski algebra}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717188800063}, Volume = {5}, Year = {1988}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717188800063}, bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(88)80006-3}, date-added = {2018-01-09 11:22:23 +0000}, date-modified = {2020-06-11 08:19:46 +0200}, doi = {10.1016/S0747-7171(88)80006-3} }