1. [5] Durhan S. , Additive Polynomials over Perfect Fields , Valuation Theory in Interaction, Proceedings of the Second International Valuation Theory Conference, Segovia / ElEscorial, 2011, EMS Series of Congress Reports 2014.
2. The algebra and model theory of tame valued fields;Kuhlmann;Journal für die Reine und Angewandte Mathematik,2009
3. Quantifier elimination for henselian fields relative to additive and multiplicative congruences
4. [4] Denef J. and Schoutens H. , On the decidability of the existential theory of Fp [[t]], Valuation Theory and Its Applications, Vol. II (Saskatoon, SK, 1999), pp. 43–60, Fields Institute Communications, vol. 33, American Mathematical Society, Providence, RI, 2003.
5. [1] Anscombe S. and Fehm A. , The existential theory of equicharacteristic henselian valued fields, http://arxiv.org/abs/1501.04522, 2015.