TY  - RPRT
TI  - A Principled Approach Towards Symbolic Geometric Constraint Satisfaction
AU  - S. Bhansali
AU  - G. A. Kramer
AU  - T. J. Hoar
PY  - 1996
UR  - https://arxiv.org/abs/cs/9606101
ID  - cs/9606101
ER  -