On the system of two all different\(\_\)predicates
scientific article; zbMATH DE number 5642325