Martin Müller and
Joachim Niehren. Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. In
T. Nipkow editor, 9th International Conference on Rewriting Techniques and Applications (RTA '98), March 30 - April 1, (1379):196-210, Springer-Verlag, Tsukuba, Japan, 1998. [Abstract] google [Annote]
