@INPROCEEDINGS {34579,
author={S. Marcelino and C. Caleiro},
doi={},
booktitle={World Congress and School on Universal Logic - UNILOG},
title={Semantics for combined Hilbert calculi},
year={2018},
month={June},
volume={},
pages={-} 
}