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