Extensions of Valuation Domains and Going-up
Shai Sarussi
Suppose F is a field with valuation v and valuation domain