Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. - Sanjay Bhansali; Tim J. Hoar (KBSE, 1995)

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. - Sanjay Bhansali; Glenn A. Kramer; Tim J. Hoar (J. Artif. Intell. Res., 1996)

Automated Software Synthesis: An Application in Mechanical CAD. - Sanjay Bhansali; Tim J. Hoar (IEEE Trans. Software Eng., 1998)