Terese

• Term Rewriting Systems
• Ambivalence