Jürgen Giesl

• Term Rewriting and Applications
• Automated Reasoning