Информатика, вычислительная техника и управление. Диссертация Методы интеграции логического программирования и программирования в ограничениях : диссертация ... кандидата физико-математических наук : 05.13.11, Новосибирск, 1999