The first-order theory of ordering constraints over feature trees
scientific article; zbMATH DE number 1661004