Session 6B - Catalytic Approaches to the Tree Evaluation Problem