@article{zeilberger-2016-linear, title={Linear lambda terms as invariants of rooted trivalent maps}, volume={26}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s095679681600023x}, DOI={10.1017/s095679681600023x}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={ZEILBERGER, NOAM}, year={2016} }