НИКИТИН,. Применение технологии ILOG Planner для решения задачи поддержания непротиворечивости фрагмента знаний с вероятностной неопределенностью. Труды СПИИРАН, v. 3, n. 1, p. 142-147, 1 jun. 2003.