Lee A. Becker, Xiaoyi Huang. An intelligent tutor for normal form determination. In Herbert L. Dershem, editor, Proceedings of the 19st SIGCSE Technical Symposium on Computer Science Education, 1988, Atlanta, Georgia, USA, February 25-26, 1988. pages 205-209, ACM, 1988. [doi]
Abstract is missing.