Hongbing Wang, Chen Wang, Yan Liu: A Logic-Based Approach to Web Services Composition and Verification. SERVICES II 2009: 103-110