Ruso ⇄ Inglés +

односторонняя унификация acentos
intel.	one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)
lóg.	one-sided unification (Alex_Odeychuk)