Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Müller, M., Niehren, J., & Podelski, A. (2000). Ordering Constraints over Feature Trees. Constraints, 5(1/2), 7-41.