@INPROCEEDINGS {36245,
author={S. Marcelino and C. Caleiro and P.  Filipe},
doi={10.1109/ISMVL49045.2020.000-1},
booktitle={IEEE International Symposium on Multiple-Valued Logic ISMVL},
title={Infectious semantics and analytic calculi for even more inclusion logics},
year={2020},
month={November},
volume={},
pages={224-229} 
}