Инструментальная экспертная диагностирующая система ЭДИП, основанная на конечных предикатах А.Д. Закревский; В.И. Левченко; Ю.Н. Печерский Matematiceskie issledovanija