Ганов, В., & Дегтерева, Р. (1). Алгоритмические проблемы и ограничения на сложность вывода. Известия Алтайского государственного университета, (1/2(85). https://doi.org/10.14258/izvasu(2015)1.2-17