Russisch ⇄ Englisch +

односторонняя унификация Betonungen
KI	one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)
Logik.	one-sided unification (Alex_Odeychuk)