Valuations of rational nondiscrete type

In this paper,we study the valuations of rational nondiscrete type. Let K be a 2-dimensional purely transcendental field extension of k. By defining the φ-degree of a monomial when φ is a formal series satisfying some given conditions,we show that every k-valuation of K can be defined by a transcendental formal series.