Detection of Generalized Conjunctive Predicates for Debugging Parallel Distributed Programs. - Constantino Gonçalves Ribeiro; Lúcia Maria de A. Drummond; Rosi S. Wedemann (Applied Informatics, 2003)