@article{MCCALLUM201216,
    Author = {McCallum, Scott and Weispfenning, Volker},
    File = {1-s2.0-S0747717111001167-main (0) - a - a - p.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Keywords = {Decision procedure, Exponential polynomials},
    Number = {1},
    Pages = {16 - 31},
    Title = {Deciding polynomial-transcendental problems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001167},
    Volume = {47},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717111001167},
    bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2011.08.004},
    date-added = {2018-09-03 14:51:52 +0000},
    date-modified = {2018-09-03 14:51:52 +0000},
    doi = {10.1016/j.jsc.2011.08.004}
}

@article{MCCALLUM201216, Author = {McCallum, Scott and Weispfenning, Volker}, File = {1-s2.0-S0747717111001167-main (0) - a - a - p.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Keywords = {Decision procedure, Exponential polynomials}, Number = {1}, Pages = {16 - 31}, Title = {Deciding polynomial-transcendental problems}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001167}, Volume = {47}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717111001167}, bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2011.08.004}, date-added = {2018-09-03 14:51:52 +0000}, date-modified = {2018-09-03 14:51:52 +0000}, doi = {10.1016/j.jsc.2011.08.004} }