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