Work

An Efficient Proximity-based Unification Algorithm⋆

FWCI: 1.379
Cites: 19
Cited by: 10
Related to: 10