Synthesis of Composite e-Services based on Automated Reasoning

Proc. of the ICAPS Workshop on Planning and Scheduling for Web and Grid Services (P4WGS). 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 Workshop on Planning and Scheduling for
Web and Grid Services (P4WGS)",
}