Алгоритмическое решение некоторых проблем в теории конечно определенных коммутативных полугрупп с сокращением Е.А. Халезов — 1966 Sibirskij matematiceskij zurnal