Brereton, Justin, Amelia Farid, Maryam Karnib, Gary Marple, Alex Quenon, and Akalu Tefera. 2011. “Combinatorial and Automated Proofs of Certain Identities”. The Electronic Journal of Combinatorics 18 (2), P14. https://doi.org/10.37236/2010.