On constructive desingularization - Villamayor, O; (Journal Of Symbolic Computation, 2005)