Matsuda, N., & VanLehn, K. (2000). A reification of a strategy for geometry theorem proving. In Gauthier, Frasson, VanLehn (Eds.), Intelligent Tutoring Systems: 5th International Conference: Vol. 1839. Lecture Notes in Computer Science (p. 660). Springer-Verlag Berlin & Heidelberg GmbH & Co. K.

For a PDF full version, click here (101KB).