Vectorial Equations Solving for Mechanical Geometry Theorem Proving*
Managing Structural Information by Higher-Order Colored Unification
Erratum