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