Optimization of rewrite theories by equational partial evaluation - Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. (Journal of logical and algebraic methods in programming, 2022)