Сироткин, А. В. Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: реализация фрагмента знаний. Труды СПИИРАН, т. 2, вып. 25, Apr. 2013, сс. 204-20, DOI:10.15622/sp.25.10.