Ordering Constraints over Feature Trees (1999)

by Martin Müller, Joachim Niehren, Andreas Podelski