"Web Service Composition as Satisfiability Checking in Dynamic Description ..."

Limin Chen, Hong Hu, Zhongzhi Shi (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics