רוסית ⇄ אנגלית

односторонняя унификация מתח
.בינה	one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)
.הִגָי	one-sided unification (Alex_Odeychuk)