Structural Recursion as a Query Language on Lists and Ordered Trees

Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren. Structural Recursion as a Query Language on Lists and Ordered Trees. Theory Comput. Syst., 44(4):590-619, 2009. [doi]