Project Member

• From Confluence to Unique Normal Forms: Certification and Complexity
• Confluence: Automation, Certification, Extensions
• Improving Certifiers for Termination Proofs