TY - RPRT TI - A Rewriting Logic Approach for Automatic Composition of Web Services AU - Walid Berrouk AU - Ouanes Aissaoui PY - 2014 UR - https://arxiv.org/abs/1411.5153 ID - 1411.5153 ER -