1. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated production of traditional proofs for constructive geometry theorems. In: Proceedings LICS, June 1993, pp. 48–56. IEEE Computer Society Press, Los Alamitos (1993)
2. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated generation of readable proofs with geometric invariants. I. JAR 17, 325–347 (1996)
3. Djorić, M., Janičić, P.: Constructions, instructions, interactions. Teaching Mathematics and its Applications 23(2), 69–88 (2004)
4. Janičić, P., Trajković, I.: Wingclc — a workbench for formally describing figures. In: Proceedings of SCCG 2003, ACM Press, USA (2003)
5. Matsuda, N., van Lehn, K.: Gramy: A geometry theorem prover capable of construction. JAR (32), 3–33 (2004)