Links for logical-unification