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 2026Mar.29];18(2):P14. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v18i2p14