Jan E. Holly Prototypes for Definable Subsets of Algebraically Closed Value Fields. 1093-1141 1997 62 J. Symb. Log. 4 db/journals/jsyml/jsyml62.html#Holly97 http://projecteuclid.org/euclid.jsl/1183745368