Sanjay Bhansali Glenn A. Kramer Tim J. Hoar A Principled Approach Towards Symbolic Geometric Constraint Satisfaction http://arxiv.org/abs/cs.AI/9606101 1996 CoRR cs.AI/9606101 db/journals/corr/corr9606.html#cs-AI-9606101 informal publication