ESC: A Tool for Automatic Composition of e-Services based on Logics of Programs (2004)

by D Berardi, D Calvanese, G De Giacomo, M Lenzerini, M Mecella
Venue:In Proceedings of the 5th VLDB International Workshop on Technologies for e-Services (VLDBTES 2004