Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Müller, M., Niehren, J., & Podelski, A. (1997). Ordering Constraints over Feature Trees. In G. Smolka (Ed.), Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97) (pp. 549-562). Berlin, Germany: Springer.