Optimization of rewrite theories by equational partial evaluation | Publicación