doi dblp Correctness-aware high-level functional matching approaches for semantic Web services Islam Elgedawy | Zahir Tari | James A. Thom 2008 Volume 2 Issue 2