A Logic-Based Approach to Web Services Composition and Verification.

Hongbing Wang, Chen Wang, Yan Liu

Browse the full SERVICES paper archive.