The first-order theory of ordering constraints over feature trees. Müller, Martin; Niehren, Joachim; Treinen, Ralf — 2001 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]