%0 Journal Article %A Müller, Martin %A Niehren, Joachim %A Treinen, Ralf %T The First-Order Theory of Ordering Constraints over Feature Trees %J Discrete mathematics & theoretical computer science %D 2000-2001 %V 4 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.267/ %R 10.46298/dmtcs.267 %G en %F DMTCS_2001_4_2_a0