@article{cohen,
    Author = {Cohen, Paul J.},
    EPrint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpa.3160220202},
    File = {Decision Procedures for Real and p-Adic Fields - Cohen-1969-Communications\_on\_Pure\_and\_Applied\_Mathematics.pdf},
    Journal = {Communications on Pure and Applied Mathematics},
    Number = {2},
    Pages = {131--151},
    Title = {Decision procedures for real and p-adic fields},
    URL = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cpa.3160220202},
    Volume = {22},
    Year = {1969},
    bdsk-url-1 = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cpa.3160220202},
    bdsk-url-2 = {https://doi.org/10.1002/cpa.3160220202},
    date-added = {2023-09-01 09:43:22 +0200},
    date-modified = {2023-09-01 09:43:33 +0200},
    doi = {10.1002/cpa.3160220202}
}

@article{cohen, Author = {Cohen, Paul J.}, EPrint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpa.3160220202}, File = {Decision Procedures for Real and p-Adic Fields - Cohen-1969-Communications_on_Pure_and_Applied_Mathematics.pdf}, Journal = {Communications on Pure and Applied Mathematics}, Number = {2}, Pages = {131--151}, Title = {Decision procedures for real and p-adic fields}, URL = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cpa.3160220202}, Volume = {22}, Year = {1969}, bdsk-url-1 = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cpa.3160220202}, bdsk-url-2 = {https://doi.org/10.1002/cpa.3160220202}, date-added = {2023-09-01 09:43:22 +0200}, date-modified = {2023-09-01 09:43:33 +0200}, doi = {10.1002/cpa.3160220202} }