Steven H. Greve. A Real-time Coaching Environment for Triangle Congruence Proofs. In Hermann A. Maurer, editor, Computer Assisted Learning, 2nd International Conference, ICCAL 89, Dallas, Texas, USA, May 9-11, 1989, Proceedings. Volume 360 of Lecture Notes in Computer Science, pages 150-157, Springer, 1989.
Abstract is missing.