@article{Egidi:1998aa,
    Abstract = {This paper presents a detailed analysis of a quantifier elimination algorithm for the first order theory of p-adic numbers based on a p-adic analogue of the cylindrical algebraic decomposition. It is believed that this method should lead to an elementary upper bound for the theory. The present paper gives strong arguments against this conjecture and offers a basis for further speculation.},
    Author = {Egidi, L.},
    Date = {1998/12/01},
    File = {A quantifier elimination for the theory of p-adic numbers - egidi1998.pdf},
    ISBN = {1420-8954},
    Journal = {computational complexity},
    Number = {3},
    Pages = {205--263},
    Title = {A quantifier elimination for the theory of p-adic numbers},
    URL = {https://doi.org/10.1007/s000370050011},
    Volume = {7},
    Year = {1998},
    bdsk-url-1 = {https://doi.org/10.1007/s000370050011},
    date-added = {2023-09-01 09:44:51 +0200},
    date-modified = {2023-09-01 09:44:51 +0200},
    id = {Egidi1998},
    doi = {10.1007/s000370050011}
}

@article{Egidi:1998aa, Abstract = {This paper presents a detailed analysis of a quantifier elimination algorithm for the first order theory of p-adic numbers based on a p-adic analogue of the cylindrical algebraic decomposition. It is believed that this method should lead to an elementary upper bound for the theory. The present paper gives strong arguments against this conjecture and offers a basis for further speculation.}, Author = {Egidi, L.}, Date = {1998/12/01}, File = {A quantifier elimination for the theory of p-adic numbers - egidi1998.pdf}, ISBN = {1420-8954}, Journal = {computational complexity}, Number = {3}, Pages = {205--263}, Title = {A quantifier elimination for the theory of p-adic numbers}, URL = {https://doi.org/10.1007/s000370050011}, Volume = {7}, Year = {1998}, bdsk-url-1 = {https://doi.org/10.1007/s000370050011}, date-added = {2023-09-01 09:44:51 +0200}, date-modified = {2023-09-01 09:44:51 +0200}, id = {Egidi1998}, doi = {10.1007/s000370050011} }