Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.

Xianfei Tang, Changjun Jiang, Zhijun Ding

Browse the full ICWS paper archive.