1. Anderson, J. R., ?Turning of search of the problem space for geometry proofs? Proc. of the 7th IJCAI (1981).
2. Anderson, J. R., Boyle, C. F., Yost, G., The Geometry Tutor, Proc. of the 9th IJCAI (1985).
3. Coelho, H., ?An inquiry on the geometry machine and its extensions with a review of previous work,? Working report No. 1 for INVOTAN (1974).
4. Coelho, H., Cotta, J. C., and Pereira, L. M., ?How to solve it with Prolog?, LNEC 2nd. edition (1982).
5. Clocksin, W. and Mellish, C., Programming in Prolog Springer-Verlag (1981).