Detection of exclusive OR global predicates | IEEE Conference Publication | IEEE Xplore