Yuyu Yin, Ying Li, ShuiGuang Deng, Li Kuang, Jian Wu. Automating Service Matchmaking using Type Theory. In 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 723-724, IEEE Computer Society, 2007. [doi]
Abstract is missing.