Michaelis, Jens, and Uwe Mönnich. “Towards a Logical Description of Trees in Annotation Graphs”. Journal for Language Technology and Computational Linguistics, vol. 22, no. 2, July 2007, pp. 68-83, doi:10.21248/jlcl.22.2007.96.