Title: Decidability of Logical Theories and Their Combination