Синтез моделей управления предприятием на основе использования математической логики - Равецки, Т. (Збірник наукових праць Інституту проблем моделювання в енергетиці ім.Г.Є.Пухова НАН України, 2009)