1. Lecture Notes in Computer Science;S. Abdennadher,1997
2. Abdennadher, S., Frühwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the 2nd International Conference on Principles and Practice of Constraint Programming 4(2), 133–165 (1999)
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
4. Lecture Notes in Computer Science;N. Beldiceanu,2004
5. Carlsson, M., Beldiceanu, N.: Revisiting the lexicographic ordering constraint. Technical Report T2002-17, Swedish Institute of Computer Science (2002)