Constraint satisfaction with succinctly specified relations | Publicación