@INPROCEEDINGS {40272,
author={S. Marcelino and C. Caleiro},
doi={},
booktitle={Days in Logic 08},
title={Decidability of combined logics, and applications},
year={2022},
month={July},
volume={},
pages={-} 
}