@inproceedings{DBLP:conf/tes/BerardiCGLM04,
  author    = {Daniela Berardi and
               Diego Calvanese and
               Giuseppe De Giacomo and
               Maurizio Lenzerini and
               Massimo Mecella},
  editor    = {Ming{-}Chien Shan and
               Umeshwar Dayal and
               Meichun Hsu},
  title     = {: {A} Tool for Automatic Composition ofServices Based on Logics of
               Programs},
  booktitle = {Technologies for E-Services, 5th International Workshop, {TES} 2004,
               Toronto, Canada, August 29-30, 2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3324},
  pages     = {80--94},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-31811-8\_7},
  doi       = {10.1007/978-3-540-31811-8\_7},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/tes/BerardiCGLM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tjSDA78ErLqSq7Naf","bibbaseid":"berardi-calvanese-giacomo-lenzerini-mecella-atoolforautomaticcompositionofservicesbasedonlogicsofprograms-2004","author_short":["Berardi, D.","Calvanese, D.","Giacomo, G. D.","Lenzerini, M.","Mecella, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniela"],"propositions":[],"lastnames":["Berardi"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Lenzerini"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Mecella"],"suffixes":[]}],"editor":[{"firstnames":["Ming-Chien"],"propositions":[],"lastnames":["Shan"],"suffixes":[]},{"firstnames":["Umeshwar"],"propositions":[],"lastnames":["Dayal"],"suffixes":[]},{"firstnames":["Meichun"],"propositions":[],"lastnames":["Hsu"],"suffixes":[]}],"title":": A Tool for Automatic Composition ofServices Based on Logics of Programs","booktitle":"Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"3324","pages":"80–94","publisher":"Springer","year":"2004","url":"https://doi.org/10.1007/978-3-540-31811-8_7","doi":"10.1007/978-3-540-31811-8_7","timestamp":"Tue, 14 May 2019 10:00:47 +0200","biburl":"https://dblp.org/rec/conf/tes/BerardiCGLM04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tes/BerardiCGLM04,\n author = {Daniela Berardi and\n Diego Calvanese and\n Giuseppe De Giacomo and\n Maurizio Lenzerini and\n Massimo Mecella},\n editor = {Ming{-}Chien Shan and\n Umeshwar Dayal and\n Meichun Hsu},\n title = {: {A} Tool for Automatic Composition ofServices Based on Logics of\n Programs},\n booktitle = {Technologies for E-Services, 5th International Workshop, {TES} 2004,\n Toronto, Canada, August 29-30, 2004, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {3324},\n pages = {80--94},\n publisher = {Springer},\n year = {2004},\n url = {https://doi.org/10.1007/978-3-540-31811-8\\_7},\n doi = {10.1007/978-3-540-31811-8\\_7},\n timestamp = {Tue, 14 May 2019 10:00:47 +0200},\n biburl = {https://dblp.org/rec/conf/tes/BerardiCGLM04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Berardi, D.","Calvanese, D.","Giacomo, G. D.","Lenzerini, M.","Mecella, M."],"editor_short":["Shan, M.","Dayal, U.","Hsu, M."],"key":"DBLP:conf/tes/BerardiCGLM04","id":"DBLP:conf/tes/BerardiCGLM04","bibbaseid":"berardi-calvanese-giacomo-lenzerini-mecella-atoolforautomaticcompositionofservicesbasedonlogicsofprograms-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-31811-8_7"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["tool","automatic","composition","ofservices","based","logics","programs","berardi","calvanese","giacomo","lenzerini","mecella"],"title":": A Tool for Automatic Composition ofServices Based on Logics of Programs","year":2004}