publication venue for Independence for types in algebraically closed valued fields 2008 Valued fields and elimination of imaginaries 2004
