Title: Consistent detection of global predicates
First published: 1991
Subjects: Computer programs