Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.