@article{FerranteRackoff:QE:Reals,
    Author = {Ferrante, Jeanne and Rackoff, Charles},
    EPrint = {https://doi.org/10.1137/0204006},
    File = {ferranterackoffrealaddition (0) - a - a - z.pdf},
    Journal = {SIAM Journal on Computing},
    Number = {1},
    Pages = {69--76},
    Title = {A Decision Procedure for the First Order Theory of Real Addition with Order},
    URL = {https://doi.org/10.1137/0204006},
    Volume = {4},
    Year = {1975},
    bdsk-url-1 = {https://doi.org/10.1137/0204006},
    date-added = {2017-12-18 12:26:16 +0000},
    date-modified = {2017-12-18 12:27:28 +0000},
    file-2 = {760000 (0) - a - a - z.pdf},
    doi = {10.1137/0204006}
}

@article{FerranteRackoff:QE:Reals, Author = {Ferrante, Jeanne and Rackoff, Charles}, EPrint = {https://doi.org/10.1137/0204006}, File = {ferranterackoffrealaddition (0) - a - a - z.pdf}, Journal = {SIAM Journal on Computing}, Number = {1}, Pages = {69--76}, Title = {A Decision Procedure for the First Order Theory of Real Addition with Order}, URL = {https://doi.org/10.1137/0204006}, Volume = {4}, Year = {1975}, bdsk-url-1 = {https://doi.org/10.1137/0204006}, date-added = {2017-12-18 12:26:16 +0000}, date-modified = {2017-12-18 12:27:28 +0000}, file-2 = {760000 (0) - a - a - z.pdf}, doi = {10.1137/0204006} }