Decidability of Logical Theories and Their Combination - João Rasga, Cristina Sernadas (Springer, 2020)