Limin Chen, Hong Hu, Zhongzhi Shi. Web Service Composition as Satisfiability Checking in Dynamic Description Logics. In Eighth International Conference on Grid and Cooperative Computing, GCC 2009, Lanzhou, Gansu, China, August 27-29, 2009. pages 55-60, IEEE Computer Society, 2009. [doi]
Abstract is missing.