@inproceedings{AchatzMcCallumWeispfenning:ISSAC:2008,
    Address = {New York, NY, USA},
    Author = {Achatz, Melanie and McCallum, Scott and Weispfenning, Volker},
    BookTitle = {Proc. of ISSAC'08},
    File = {Deciding polynomial-exponential problems - 1390768.1390799 - a - k.pdf},
    ISBN = {9781595939043},
    Keywords = {exponential polynomials, decision procedure},
    Location = {Linz/Hagenberg, Austria},
    Pages = {215--222},
    Publisher = {Association for Computing Machinery},
    Title = {Deciding Polynomial-Exponential Problems},
    URL = {https://doi.org/10.1145/1390768.1390799},
    Year = {2008},
    bdsk-url-1 = {https://doi.org/10.1145/1390768.1390799},
    date-added = {2020-05-06 16:05:44 +0200},
    date-modified = {2020-05-27 10:56:10 +0200},
    numpages = {8},
    doi = {10.1145/1390768.1390799}
}

@inproceedings{AchatzMcCallumWeispfenning:ISSAC:2008, Address = {New York, NY, USA}, Author = {Achatz, Melanie and McCallum, Scott and Weispfenning, Volker}, BookTitle = {Proc. of ISSAC'08}, File = {Deciding polynomial-exponential problems - 1390768.1390799 - a - k.pdf}, ISBN = {9781595939043}, Keywords = {exponential polynomials, decision procedure}, Location = {Linz/Hagenberg, Austria}, Pages = {215--222}, Publisher = {Association for Computing Machinery}, Title = {Deciding Polynomial-Exponential Problems}, URL = {https://doi.org/10.1145/1390768.1390799}, Year = {2008}, bdsk-url-1 = {https://doi.org/10.1145/1390768.1390799}, date-added = {2020-05-06 16:05:44 +0200}, date-modified = {2020-05-27 10:56:10 +0200}, numpages = {8}, doi = {10.1145/1390768.1390799} }