A correct rule-based geometric constraint solver | Publicación