Косовский Н. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. CTE [Internet]. 2014Jan.22 [cited 2024Dec.18];0(1). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1248