Nadia Creignou Malika More Complexity of Satisfiability Problems with Symmetric Polynomial Clauses. 353-366 1997 7 J. Log. Comput. 3 db/journals/logcom/logcom7.html#CreignouM97