Unification (logic)

Redirect to:

• Unification (computer science)