Kauers, Manuel, and Carsten Schneider. 2008. “Automated Proofs for Some Stirling Number Identities”. The Electronic Journal of Combinatorics 15 (1), R2. https://doi.org/10.37236/726.