1. Anderson, J. R.: Tuning of search of the problem space for geometry proofs. In: Proc. IJCAI '81 (Vancouver, August 24–28, 1981), pp. 165–170.
2. Anderson, J. R., Boyle, C. F., Yost, G.: The geometry tutor. In: Proc. IJCAI '85 (Los Angeles, August 18–23, 1985), pp. 1–7.
3. Arnon, D. S.: Geometric reasoning with logic and algebra. Artif. Intell. 37: 37–60 (1988).
4. Balbiani, P.: Equation solving in projective planes and planar ternary rings. In: LNCS 850, pp. 95–113 (1994).
5. Balbiani, P.: Equation solving in geometrical theories. In: LNCS 968, pp. 31–55 (1995).