Marco Alberti Massimiliano Cattafi Marco Gavanelli Evelina Lamma Exploiting Semantic Technology in Computational Logic-based Service Contracting. 2008 SWAP http://ceur-ws.org/Vol-426/swap2008_submission_31.pdf conf/swap/2008 db/conf/swap/swap2008.html#AlbertiCGL08