Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. : A Tool for Automatic Composition ofServices Based on Logics of Programs. In Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu, editors, Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. Volume 3324 of Lecture Notes in Computer Science, pages 80-94, Springer, 2004. [doi]
Abstract is missing.