https://www.researchgate.net/publication/243768023_Mathematica_as_a_Rewrite_Language https://www.researchgate.net/publication/243768023_Mathemati... Mathematic

https://www.researchgate.net/publication/243768023_Mathematica_as_a_Rewrite_Language https://www.researchgate.net/publication/243768023_Mathemati... Mathematica is at least semi-mainstream. Not sure of any other examples though.