Kauers M, Schneider C. Automated Proofs for Some Stirling Number Identities. Electron. J. Combin. [Internet]. 2008Jan.1 [cited 2026Mar.29];15(1):R2. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1r2