H. Prodinger, “An Identity Conjectured by Lacasse via the Tree Function”, Electron. J. Combin., vol. 20, no. 3, p. P7, Jul. 2013.