Chang Zhao

is author of:	A Logical Framework for Web Service Discovery