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

by M Müller, J Niehren, R Treinen
Venue:13 th Annual IEEE Symposium on Logic in Computer Science