Visualizing HS-Tree-Based Abductive Reasoning: an Educational Tool for Algorithm Exploration. | AMiner