KAUERS, M.; SCHNEIDER, C. Automated Proofs for Some Stirling Number Identities. The Electronic Journal of Combinatorics, v. 15, n. 1, p. R2, 1 Jan. 2008.