@ARTICLE {30626,
author={J. Rasga and C. Sernadas and W. Carnielli },
doi={10.1017/bsl.2021.17},
journal={Bulletin of Symbolic Logic},
title={Reduction techniques for proving decidability in logics and their meet-combination},
year={2021},
month={March},
volume={27},
number={1},
pages={39-66},
ISSN={1079-8986}
}