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