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