Software and tools
- AbsSpec - http://safe-tools.dsic.upv.es/absspec/
- JavaPCC - http://users.dsic.upv.es/grupos/elp/toolsMaude/rewritingLogic.html
- iJulieene - http://safe-tools.dsic.upv.es/iJulienne/
- Maude-NPA - http://maude.cs.uiuc.edu/tools/Maude-NPA/
- MU-TERM - http://zenon.dsic.upv.es/muterm/
- Narrowing in Full Maude - http://maude.lcc.uma.es/FullMaude/
- NewE-lgg - http://zenon.dsic.upv.es:8080/newlgg/
- Web-tlr - http://zenon.dsic.upv.es:8080/webtlr/
- wifix - http://safe-tools.dsic.upv.es/repairing/
