Web Service Composition Automation Based on Term Rewriting System | IEEE Conference Publication | IEEE Xplore