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