Distributed algorithm to detect strong conjunctive predicates
scientific article; zbMATH DE number 5547807