X. Tang, C. Jiang and Z. Ding, “Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models,” Proceedings of the 5th IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 1162-1163.
 D. Berardi, D. Calvanese and G. De Giacoma, “Automatic Service Composition Based on Behavioral Descriptions,” International Journal of Cooperative Information Systems, 2005, Vol. 14, No. 4, pp. 333-376.
 L. Zeng, B. Benatallah, A. H. H. Ngu, M. Dumas, J. Kalagnanam and H. Chang, “QoS-Aware Middleware for Web Services Composition,” IEEE Transactions on Software Engineering, Vol. 30, No. 5, 2004, pp. 311-327.
 T. Osman, D. Thakker and D. Al-Dabass, “Semantic-Driven Matchmaking of Web Services Using Case-Based Reasoning, Icws 2006: Ieee International Conference on Web Services, Proceedings, USA, 2006, pp. 29-36.
 S.-C. Oh, D. Lee and S. R. T. Kumara, “Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm,” International Journal of Web Services Research, Vol. 4, No. 1, 2007, pp. 1-23.
 C. Castellini, E. Giunchiglia and A. Tacchella, “SAT-Based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism,” Artificial Intelligence, Vol. 147, No. 1-2, 2003, pp. 85-117.
 S. Minton, M. D. Johnston, A. B. Philips and P. Laird, “Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems,” Artificial Intelligence, Vol. 58, 1990, pp. 161-205.
 B. Xu, T. Li, Z. Gu and G. Wu, “SWSDS: Quick Web Service Discovery and Composition in SEWSIP,” Proceedings of The 8th IEEE International Conference on E-Commerce Technology and the 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06) IEEE Computer Society, 2006, pp. 71-73.
 R. Sosic and J. Gu, “Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem,” IEEE Transactions on Knowledge and Data Engineering, 1994, Vol. 6, No. 5, pp. 661-668.