VDict mobile



algorithm To perform unification.
(1995-03-15)