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