Rebhi Baraka Wolfgang Schreiner Semantic Querying of Mathematical Web Service Descriptions. 73-87 2006 conf/wsfm/2006 WS-FM http://dx.doi.org/10.1007/11841197_5 db/conf/wsfm/wsfm2006.html#BarakaS06