An SP-Tree-Based Web Service Matching Algorithm Considering Data Provenance. Issue 4 (2nd October 2017)