| |||
| one-way unification (it binds variables only on one side of the equation Alex_Odeychuk) | |||
| one-sided unification (Alex_Odeychuk) | |||
| |||
| one-way unification (it binds variables only on one side of the equation Alex_Odeychuk) | |||
| one-sided unification (Alex_Odeychuk) | |||
