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