Системы и средства информатики. Ежегодник РАН. - М., Наука, , 01.1993    Включает: Л. Я. Поспелова ,   И. Г. Поспелов ,   И. Г. Пронина Алгоритм поиска противоречий в продукционных ЭС и синтез программ тестирования проектируемых технических устройств. , 01.1993