Катериненко Р.С. Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных : автореф. дис. .. канд. техн. наук: 95.13.11 / Р. С. Катериненко, 2013. - 19 с. - Текст : непосредственный.