BRERETON, J.; FARID, A.; KARNIB, M.; MARPLE, G.; QUENON, A.; TEFERA, A. Combinatorial and Automated Proofs of Certain Identities. The Electronic Journal of Combinatorics, v. 18, n. 2, p. P14, 18 Jun. 2011.