Лекция 9. И.Г. Лысёнок. Алгоритмические вопросы алгебры.