Islam Elgedawy Zahir Tari James A. Thom Correctness-aware high-level functional matching approaches for semantic Web services. 2008 2 TWEB 2 http://doi.acm.org/10.1145/1346337.1346240 db/journals/tweb/tweb2.html#ElgedawyTT08