Zhongnan Shen Jianwen Su On Complexity of The Tightening Problem for Web Service Discovery. 29-38 2007 conf/soca/2007 SOCA http://dx.doi.org/10.1109/SOCA.2007.33 db/conf/soca/soca2007.html#ShenS07