Mixed integer programming, general concept inclusions and fuzzy description logics. U. Straccia, F. Bobillo (2007) Mathware and Soft Computing