Julien Forest Delia Kesner Expression Reduction Systems with Patterns. 513-541 2007 39 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-007-9083-0 db/journals/jar/jar39.html#ForestK07