D. Zeilberger, “Proof of the Alternating Sign Matrix Conjecture”, Electron. J. Combin., vol. 3, no. 2, p. R13, Jul. 1995.