J. Brereton, A. Farid, M. Karnib, G. Marple, A. Quenon, and A. Tefera, “Combinatorial and Automated Proofs of Certain Identities”, Electron. J. Combin., vol. 18, no. 2, p. P14, Jun. 2011.