Lecture series on the "Integration of Decision Procedures in Automated Reasoning" given at the CALCULEMUS Autumn School, Pisa, Oct 30 - Nov 1, 2002

• Introduction
• Constraint Contextual Rewriting
• Rewrite and Decision procedure Laboratory
• Maple's Simplification Process as Constraint Contextual Rewriting