Самофалов Павел Леонидович. Методы применения таблиц решений в системах формального вывода и програмных комплексах: Дис... канд. техн. наук: 01.05.03 / Харьковский гос. технический ун-т радиоэлектроники. - Х., 2001. - 166 л. - Библиогр.: л. 157-162.