Модель поиска, ведомого ограничениями, в решении задач CRA - Артур Аммалайнен, Владимир Спиридонов