The first-order theory of ordering constraints over feature trees (0)

by M Müller, J Niehren, R Treinen
Venue:In LICS’98