Li Ye, Junliang Chen. Automatic Composition of Semantic Web Services - A Theorem Proof Approach. In Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia, editors, The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings. Volume 4185 of Lecture Notes in Computer Science, pages 481-487, Springer, 2006. [doi]
Abstract is missing.