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