Xianfei Tang, Changjun Jiang, Zhijun Ding. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 1162-1163, IEEE Computer Society, 2007. [doi]
Abstract is missing.