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