Decidability of Logical Theories and Their Combination

João Rasga, Cristina Sernadas, 9783030565534