Brereton, Justin, Amelia Farid, Maryam Karnib, Gary Marple, Alex Quenon, and Akalu Tefera. “Combinatorial and Automated Proofs of Certain Identities”. The Electronic Journal of Combinatorics 18, no. 2 (June 18, 2011): P14. Accessed March 29, 2026. https://www.combinatorics.org/ojs/index.php/eljc/article/view/v18i2p14.