AC-superposition with constraints: No AC-unifiers needed | Publicación