Ганов, В.; Дегтерева, Р. Алгоритмические проблемы и ограничения на сложность вывода. Известия АлтГУ 1.