Xianfei Tang Changjun Jiang Zhijun Ding Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. 1162-1163 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.54 db/conf/icws/icws2007.html#TangJD07