Leo Bachmair

• Canonical equational proofs
• Rewriting Techniques and Applications