P. Heinig, “Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba”, Electron. J. Combin., vol. 17, no. 1, p. N14, Feb. 2010.