А. Ю. Кучмин, Анализ полиномиальных ограничений методом дерева решений, ИУС, вып. 6, сс. 9-14, дек. 2017.