4 ms·
These are called rewrite rules and you can find a lot of previous work on this to reference and build on.
by mhewett 13y ago
These are called rewrite rules and you can find a lot of previous work on this to reference and build on.
- jonase 13y agoThe best source I've found is at http://rewriting.loria.fr http://rewriting.loria.fr which contains lots of interesting papers.