reducible procedure

Приводимая процедура (ПЛ/ 1)

Источник: Полный англо-русский словарь на Gufo.me