Brereton J, Farid A, Karnib M, Marple G, Quenon A, Tefera A. Combinatorial and Automated Proofs of Certain Identities. Electron. J. Combin. [Internet]. 2011Jun.18 [cited 2026May25];18(2):#P14. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v18i2p14