@INPROCEEDINGS {13222,
author={C. Caleiro and S. Marcelino},
doi={0},
booktitle={World Congress and School on Universal Logic - UNILOG},
title={Combining logics, cryptofibred semantics and completeness preservation},
year={2013},
month={April},
volume={0},
pages={0-0} 
}