@INPROCEEDINGS {13441,
author={C. Caleiro and S. Marcelino and P. Baltazar},
doi={0},
booktitle={Logic Colloquium},
title={Conservativeness and decidability of fibred logics},
year={2013},
month={July},
volume={0},
pages={0-0} 
}