Speeding up operations on feature terms using constraint programming and variable symmetry | Publicación