unify

(algorithm)   To perform unification.

Last updated: 1995-03-15


Loading