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

by D Berardi, D Calvanese, D G Giuseppe, M Lenzerini, M Mecella
Venue:In Proceedings of the ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS