Sabelfeld. The Tree Equivalence of Linear Recursion Schemes. no. 1-2, Elsevier BV, 2000, doi:10.1016/s0304-3975(98)00207-2.