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.