Unification Algorithms: Algorithms used to determine if two expressions are special cases of the same more general expression.
We are still working on this page. Come back again soon.