Definable henselian valuations - Franziska Jahnke; Jochen Koenigsmann (2012)