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