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), p. P14. doi: 10.37236/2010.