Ordering, AC-theories and symbolic constraint solving | Publicación