Anglais ⇄ Russe +

theory of multiple forms of negation contraintes
progr.	теория множества форм отрицания (апробированная в языках логического программирования Alex_Odeychuk)