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