Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. - Alexis Campailla; Sagar Chaki; Edmund M. Clarke; Somesh Jha; Helmut Veith (ICSE, 2001)