Unification and matching on compressed terms | Publicación