Zeilberger, D. (1995). Proof of the Alternating Sign Matrix Conjecture. The Electronic Journal of Combinatorics, 3(2), R13. https://doi.org/10.37236/1271