Exact solution of the six-vertex model with domain wall boundary condition. Critical line between ferroelectric and disordered phases - Pavel Bleher; Karl Liechty (Journal of Statistical Physics, 2009)