Uwe Keller

is author of:	A Logical Framework for Web Service Discovery