Темпоральные немонотонные логические системы в задачах моделирования систем управления сложными динамическими объектами - Васильевский, Александр Сергеевич; Лапшин, Кирилл Владимирович (Информационно-управляющие системы, 2010)