Construction of Neron Desingularization for Two Dimensional Rings
  An algorithmic proof of the General Neron Desingularization theorem is given for $2$-dimensional local rings and morphisms with small singular locus. 
Gerhard Pfister and Dorin Popescu
math.AC