Никитин,: Применение технологии ILOG Planner для решения задачи поддержания непротиворечивости фрагмента знаний с вероятностной неопределенностью. Труды СПИИРАН 3(1), 142-147 (2003). doi:10.15622/sp.1.16