Unification (logic)
Redirect to:
Unification (computer science)