@INPROCEEDINGS {28061,
author={S. Marcelino and C. Caleiro and J. Marcos and U.  Rivieccio},
doi={},
booktitle={International Joint Conf. on Automated Reasoning - IJCAR},
title={On the abstract characterization of broadly truth-functional logics},
year={2016},
month={July},
volume={0},
pages={0-0} 
}