Prodinger, H. “An Identity Conjectured by Lacasse via the Tree Function”. The Electronic Journal of Combinatorics, Vol. 20, no. 3, July 2013, p. P7, doi:10.37236/3309.