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