Zaslat SMS: Разработка метода бинарной декомпозиции функциональных предикатов; Известия Томского политехнического университета [Известия ТПУ]; Т. 320, № 5 : Управление, вычислительная техника и информатика