Системный анализ дизъюнктивов - Забродин В. Ю. Владимир Юрьевич (Москва, Наука, 1981)