Reasoning about interaction protocols for customizing web service selection and composition (2006)

by M Baldoni, C Baroglio, A Martelli, V Patti
Venue:Logic and Algebraic Programming