1. Towards object-oriented modeling of Euclidean geometry;Alberti;The Visual Computer,1995
2. J.R. Anderson, C.F. Boyle, G. Yost, The geometry tutor, in: Proceedings of the International Joint Conference on Artificial Intelligence, Los Angeles, California, 1985, pp. 1–7
3. Diagram processing: Computing with diagrams;Anderson;Artificial Intelligence,2003
4. J. Barwise, J. Etchemendy, Visual information and valid reasoning, CSLI report, Stanford, 1990
5. Hyperproof;Barwise,1994