Dubhashi, D. P. (1993). Quantifier Elimination in p-adic Fields. The Computer Journal, 36(5), 419-426. doi:10.1093/comjnl/36.5.419.