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