@inproceedings{DBLP:conf/icsoc/BerardiGLMC04,
  author    = {Daniela Berardi and
               Giuseppe De Giacomo and
               Maurizio Lenzerini and
               Massimo Mecella and
               Diego Calvanese},
  editor    = {Marco Aiello and
               Mikio Aoyama and
               Francisco Curbera and
               Mike P. Papazoglou},
  title     = {Synthesis of underspecified composite \emph{e}-services based on automated
               reasoning},
  booktitle = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
               New York, NY, USA, November 15-19, 2004, Proceedings},
  pages     = {105--114},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1035167.1035183},
  doi       = {10.1145/1035167.1035183},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icsoc/BerardiGLMC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"TGd3ZGf8XEdjL6Pio","bibbaseid":"berardi-giacomo-lenzerini-mecella-calvanese-synthesisofunderspecifiedcompositeempheservicesbasedonautomatedreasoning-2004","author_short":["Berardi, D.","Giacomo, G. D.","Lenzerini, M.","Mecella, M.","Calvanese, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniela"],"propositions":[],"lastnames":["Berardi"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Lenzerini"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Mecella"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]}],"editor":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Aiello"],"suffixes":[]},{"firstnames":["Mikio"],"propositions":[],"lastnames":["Aoyama"],"suffixes":[]},{"firstnames":["Francisco"],"propositions":[],"lastnames":["Curbera"],"suffixes":[]},{"firstnames":["Mike","P."],"propositions":[],"lastnames":["Papazoglou"],"suffixes":[]}],"title":"Synthesis of underspecified composite \\emphe-services based on automated reasoning","booktitle":"Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings","pages":"105–114","publisher":"ACM","year":"2004","url":"https://doi.org/10.1145/1035167.1035183","doi":"10.1145/1035167.1035183","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icsoc/BerardiGLMC04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icsoc/BerardiGLMC04,\n author = {Daniela Berardi and\n Giuseppe De Giacomo and\n Maurizio Lenzerini and\n Massimo Mecella and\n Diego Calvanese},\n editor = {Marco Aiello and\n Mikio Aoyama and\n Francisco Curbera and\n Mike P. Papazoglou},\n title = {Synthesis of underspecified composite \\emph{e}-services based on automated\n reasoning},\n booktitle = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,\n New York, NY, USA, November 15-19, 2004, Proceedings},\n pages = {105--114},\n publisher = {{ACM}},\n year = {2004},\n url = {https://doi.org/10.1145/1035167.1035183},\n doi = {10.1145/1035167.1035183},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icsoc/BerardiGLMC04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Berardi, D.","Giacomo, G. D.","Lenzerini, M.","Mecella, M.","Calvanese, D."],"editor_short":["Aiello, M.","Aoyama, M.","Curbera, F.","Papazoglou, M. P."],"key":"DBLP:conf/icsoc/BerardiGLMC04","id":"DBLP:conf/icsoc/BerardiGLMC04","bibbaseid":"berardi-giacomo-lenzerini-mecella-calvanese-synthesisofunderspecifiedcompositeempheservicesbasedonautomatedreasoning-2004","role":"author","urls":{"Paper":"https://doi.org/10.1145/1035167.1035183"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["synthesis","underspecified","composite","emphe","services","based","automated","reasoning","berardi","giacomo","lenzerini","mecella","calvanese"],"title":"Synthesis of underspecified composite \\emphe-services based on automated reasoning","year":2004}