@BOOK {4020,
author={J. Rasga and C. Sernadas},
editor={},
title={Decidability of Logical Theories and Their Combination},
publisher={Springer},
year={2020}
}