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