Ганов В., Дегтерева Р. Алгоритмические проблемы и ограничения на сложность вывода // Известия Алтайского государственного университета, 1, № 1/2(85) DOI: 10.14258/izvasu(2015)1.2-17. URL: http://izvestiya.asu.ru/article/view/%282015%291.2-17.