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]

@article{RobertsonSGV09,
  title = {Structural Recursion as a Query Language on Lists and Ordered Trees},
  author = {Edward L. Robertson and Lawrence V. Saxton and Dirk Van Gucht and Stijn Vansummeren},
  year = {2009},
  doi = {10.1007/s00224-008-9110-5},
  url = {http://dx.doi.org/10.1007/s00224-008-9110-5},
  tags = {query language},
  researchr = {https://researchr.org/publication/RobertsonSGV09},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {44},
  number = {4},
  pages = {590-619},
}