Kauers, M. and Schneider, C. 2008. Automated Proofs for Some Stirling Number Identities. The Electronic Journal of Combinatorics. 15, 1 (Jan. 2008), R2. DOI:https://doi.org/10.37236/726.