Synthesis of underspecified composite e-services based on automated reasoning

Cite this paper

@inproceedings{Berardi2004SynthesisOU, title={Synthesis of underspecified composite e-services based on automated reasoning}, author={Daniela Berardi and Giuseppe De Giacomo and Maurizio Lenzerini and Massimo Mecella and Diego Calvanese}, booktitle={ICSOC}, year={2004} }