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

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