Lattice models and alternating sign matrices I

Source material:

1. Greg Kuperberg. Another proof of the alternating-sign matrix conjecture. Internat. Math. Res. Notices, (3):139–150, 1996.
2. Paul Zinn-Justin. Six-Vertex, Loop and Tiling models: Integrability and Combinatorics. https://arxiv.org/abs/0901.0665.