Стратегии управления процессом логического вывода для оптимизации вычислений и повышения эффективности.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.