Synthesis of underspecified composite eservices based on automated reasoning,” in (2004)

by D Berardi, D Calvanese, G De Giacomo, M Lenzerini, M Mecella
Venue:Proc. ICSOC,