1. Lect Notes Comput Sci;S. Abdennadher,2007
2. S. Abdennadher. Analyse von regelbasierten Constraintlösern (in German). PhD thesis, Computer Science Institute, LMU Munich, February 1998.
3. Lect Notes Comput Sci;S. Abdennadher,1996
4. ACM. The constraint programming working group. Technical report, ACM-MIT SDRC Workshop, Report Outline, Draft, September 1996.
5. Lect Notes Comput Sci;L. Bachmair,1986