Brereton, J.; Farid, A.; Karnib, M.; Marple, G.; Quenon, A.; Tefera, A. Combinatorial and Automated Proofs of Certain Identities. Electron. J. Combin. 2011, 18, P14.