ZEILBERGER, D. Proof of the Alternating Sign Matrix Conjecture. The Electronic Journal of Combinatorics, v. 3, n. 2, p. R13, 25 Jul. 1995.