Baccar, S.S.BaccarRouached, M.M.RouachedVerborgh, RubenRubenVerborghAbid, M.M.Abid2021-10-252021-10-252018-121863-2386https://imec-publications.be/handle/20.500.12860/30177Declarative web services composition using proofsJournal articlehttps://link.springer.com/article/10.1007/s11761-018-0234-4