[1]
В. Ганов и Р. Дегтерева, «Алгоритмические проблемы и ограничения на сложность вывода», Известия АлтГУ, вып. 1/2(85), 1.