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