G. Salzer, S Limet: "Tree Tuple Languages from the Logic Programming Point of View"; Journal of Automated Reasoning, 37 (2006), 4; 323 - 349.
http://www.springerlink.com/content/1453w55545217731/fulltext.pdf