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