A strictly decreasing invariant for resolution of singularities in   dimension two
  We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito. 
Vincent Cossart, Bernd Schober
math.AG