Redundant-Free Web Services Composition Based on a Two-Phase Algorithm | IEEE Conference Publication | IEEE Xplore