An Automated Impasse Detection System Based on the Analysis of Self-Explanations in Mathematics | IEEE Conference Publication | IEEE Xplore