Anglais ⇄ Russe +

incremental logic contraintes
informat.	инкрементная логика (с прибавлением единицы при каждом обращении); инкрементальная логика