Кучмин, А. Ю. Анализ полиномиальных ограничений методом дерева решений. Информационно-управляющие системы, вып. 6, Dec. 2017, сс. 9-14, DOI:10.15217/issn1684-8853.2017.6.9.