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