Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: реализация фрагмента знаний - Сироткин, Александр Владимирович (Труды СПИИРАН, 2013)