Никитин,. Применение технологии ILOG Planner для решения задачи поддержания непротиворечивости фрагмента знаний с вероятностной неопределенностью. ТС 2003, 3, 142-147.