Web Service Composition via Problem Decomposition Across Multiple Ontologies | IEEE Conference Publication | IEEE Xplore