[PPT] - A Constructor-Based Reachability Logic for Rewrite Theories Stephen PowerPoint Presentation