Tree Tuple Languages from the Logic Programming Point of View.

Sébastien Limet Gernot Salzer Tree Tuple Languages from the Logic Programming Point of View. 323-349 2006 37 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-006-9064-8 db/journals/jar/jar37.html#LimetS06