The First-Order Theory of Ordering Constraints over Feature Trees.

Martin Mller, Joachim Niehren, Ralf Treinen

Browse the full LICS paper archive.