Kauers, M., and C. Schneider. “Automated Proofs for Some Stirling Number Identities”. The Electronic Journal of Combinatorics, Vol. 15, no. 1, Jan. 2008, p. R2, doi:10.37236/726.