Daniela Berardi Diego Calvanese Giuseppe De Giacomo Richard Hull Massimo Mecella Automatic Composition of Transition-based Semantic Web Services with Messaging. 613-624 2005 conf/vldb/2005 VLDB http://www.vldb2005.org/program/paper/thu/p613-berardi.pdf db/conf/vldb/vldb2005.html#BerardiCGHM05