Брусенцев Виталий Александрович. Алгебро-логические модели формализации семантики предложений и их применение в информационных системах искусственного интеллекта : Дис... канд. техн. наук: 05.13.23 / Харьковский национальный ун-т радиоэлектроники. — Х., 2003. — 228л. — Библиогр.: л. 148-159.