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