Synthesis of Composite e-Services based on Automated Reasoning

Proc. of the ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS 2004). 2004.

@inproceedings{P4WGS-ICAPS-2004,
   title = "Synthesis of Composite e-Services based on Automated Reasoning",
   year = "2004",
   author = "Daniela Berardi and Diego Calvanese and De Giacomo, Giuseppe
and Maurizio Lenzerini and Massimo Mecella",
  booktitle = "Proc. of the ICAPS 2004 Workshop on Planning and Scheduling
for Web and Grid Services (P4WGS 2004)",
}