M. Kauers and C. Schneider, “Automated Proofs for Some Stirling Number Identities”, Electron. J. Combin., vol. 15, no. 1, p. R2, Jan. 2008.