Zeilberger, D. Proof of the Alternating Sign Matrix Conjecture. Electron. J. Combin. 1995, 3, R13.