Decidability of Logical Theories and Their Combination - Rasga; Sernadas, Cristina (Springer International Publishing, 2020)