1. S. Agarwal, Formal description of Web services for expressive matchmaking, Ph.D. Thesis, University of Karlsruhe (TH), May 2007.
2. The Description Logic Handbook: Theory Implemenation and Applications,2003
3. Graphical models for preference and utility;Bacchus,1995
4. Automatic composition of transition-based semantic Web services with messaging;Berardi,2005
5. Planning with qualitative temporal preferences;Bienvenu,2006