Сироткин, А. В. Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: реализация фрагмента знаний. ТС 2013, 2, 204-220.