On-the-fly detection of conjunctions of local predicates in distributed computations | IEEE Conference Publication | IEEE Xplore