1. Arbab, Farhad, and Wing, Jeanette M. (1985). “Geometric reasoning: a new paradigm for processing geometric information,” 80–89. In International Symposium on New Directions in Computing, IEEE Computer Science Press.
2. “The programming language aspects of Thinglab, a constraint-oriented simulation laboratory.”;Borning;ACM Trans. Prog. Languages and Systems,1981
3. “Gröbner bases: an algorithmic method in polynomial ideal theory,”;Buchberger,1985
4. “Proving elementary geometry theorems using Wu's algorithm,”;Chou,1984
5. “Proving geometry theorems with rewrite rules.”;Chou;Automated Reasoning,1986