J. Michaelis and U. Mönnich, “Towards a Logical Description of Trees in Annotation Graphs”, JLCL, vol. 22, no. 2, pp. 68–83, Jul. 2007.