A QoS-Optimal Automatic Service Composition Method Based on Backtracting Theory | IEEE Conference Publication | IEEE Xplore