Martin Müller,
Joachim Niehren and
Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees. In 13th Annual IEEE Symposium on Logic in Computer Sience (LICS '98), June 21 - 24, Pages 432-443, IEEE Press, Indianapolis, Indiana, USA, 1998. [Abstract] google [Annote]
