A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems | IEEE Conference Publication | IEEE Xplore