A Rewriting Logic Approach for Automatic Composition of Web Services. - Walid Berrouk; Ouanes Aissaoui (CoRR, 2014)