Лекция 14. С.Л.Кузнецов. Структура циклических выводов с итерацией Клини