@inproceedings{28e1aa7f42004c1e9bbeac754d874482,
title = "A reification of a strategy for geometry theorem proving",
author = "Noboru Matsuda and Kurt VanLehn",
year = "2000",
language = "English (US)",
isbn = "3540676554",
volume = "1839",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "660",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "5th International Conference on Intelligent Tutoring Systems, ITS 2000 ; Conference date: 19-06-2000 Through 23-06-2000",
}