Composition of semantic web services using linear logic theorem proving (2006)

by J Rao, P Kungas, M Matskin
Venue:Information Systems