decision procedure

Розв'язувальна процедура

алгоритм вибору