ГАНОВ, В.; ДЕГТЕРЕВА, Р. Алгоритмические проблемы и ограничения на сложность вывода. Известия Алтайского государственного университета, n. 1/2(85), 11.