@article{10_37236_2010,
     author = {Justin Brereton and Amelia Farid and Maryam Karnib and Gary Marple and Alex Quenon and Akalu Tefera},
     title = {Combinatorial and automated proofs of certain identities},
     journal = {The electronic journal of combinatorics},
     year = {2011},
     volume = {18},
     number = {2},
     doi = {10.37236/2010},
     zbl = {1229.05036},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/2010/}
}