Kauers, M.; Schneider, C. Automated Proofs for Some Stirling Number Identities. Electron. J. Combin. 2008, 15, R2.