Jörg Hoffmann, James Scicluna, Tomasz Kaczmarek, Ingo Weber. Polynomial-Time Reasoning for Semantic Web Service Composition. In 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 229-236, IEEE Computer Society, 2007. [doi]