"Relative Elimination of Quantifiers for Henselian Valued Fields."

Serban A. Basarab (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics