An Efficient Proximity-based Unification Algorithm⋆ | IEEE Conference Publication | IEEE Xplore