Locally finite iterative higher derivations on k[x,y] Hideo Kojima (2014) Colloquium Mathematicae We give a new proof of Miyanishi's theorem on the classification of the additive group scheme actions on the affine plane.