Email Record: Decidability of logical theories and their combination /