Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, 70(1):53-73, 2007. [doi]
Abstract is missing.