Salima Benbernou Etienne Canaud Mohand-Said Hacid Farouk Toumani Resolution and Constraint Propagation for Semantic Web Services Discovery. 23-30 2004 conf/ride/2004 RIDE http://csdl.computer.org/comp/proceedings/ride/2004/2095/00/20950023abs.htm db/conf/ride/ride2004.html#BenbernouCHT04