John R. Anderson C. Franklin Boyle Gregg Yost The Geometry Tutor. 1-7 1985 IJCAI db/conf/ijcai/ijcai85.html#AndersonBY85