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]
No references recorded for this publication.
No citations of this publication recorded.