Synthesis of underspecified composite e-services based on automated reasoning (2004)

by D Berardi, G De Giacomo, M Lenzerini, M Mecella, D Calvanese
Venue:In Proc. Int. Conf. on Service Oriented Computing (ICSOC