Discovering semantic relations between Web services using their pre and post-conditions | IEEE Conference Publication | IEEE Xplore