On bijunctive predicates over a finite set
scientific article; zbMATH DE number 7050890