Detection of global predicates: Techniques and their limitations Craig M. ChaseVijay K. Garg Pages: 191 - 201