1. Allen, R., Idt, J., Trilling, L., Constrained based automatic construction and manipulation of geometric figures, Proceedings of the 13th IJCAI Conference, Chambery, Morgan Kaufmann Publishers, Los Altos, 1993.
2. Borodin, A., Fagin, R., Hopcroft, J.E., Tompa, M., Decreasing the nested depth of expression involving square roots, Journal of Symbolic Computation, no. 1 page 169–188, 1985.
3. S.C. Chou and X.S. Gao, Proving Geometry Statement of Constructive Type, CADE, LNCS 607, D. Kapur Eds, 1992.
4. S.C. Chou, Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, 1988.
5. A. Colmerauer, An Introduction to Prolog III, Commun. ACM, 28(4):412–418, 1990.