Brereton, J., Farid, A., Karnib, M., Marple, G., Quenon, A., & Tefera, A. (2011). Combinatorial and Automated Proofs of Certain Identities. The Electronic Journal of Combinatorics, 18(2), P14. https://doi.org/10.37236/2010