The first-order theory of ordering constraints over feature trees

Martin Müller, Joachim Niehren, Ralf Treinen. The first-order theory of ordering constraints over feature trees. Discrete Mathematics & Theoretical Computer Science, 4(2):193-234, 2001. [doi]

Abstract

Abstract is missing.