• Table of Contents
• Introduction
• Motivation
• Symbolic objects
• Accessing parts of symbolic objects
• Fast pattern matching
• Pattern matching
• Substituting subexpressions