Russe ⇄ Anglais +

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