Marco Alberti Marco Gavanelli Evelina Lamma Federico Chesani Paola Mello Marco Montali An abductive framework for a-priori verification of web services. 39-50 2006 conf/ppdp/2006 PPDP http://doi.acm.org/10.1145/1140335.1140342 db/conf/ppdp/ppdp2006.html#AlbertiGLCMM06