The Abhyankar–Moh Theorem for plane valuations at infinity

We introduce the class of plane valuations at infinity and prove an analogue to the Abhyankar–Moh (semigroup) Theorem for it.