@INPROCEEDINGS {28062,
author={S. Marcelino and C. Caleiro and J. Marcos},
doi={},
booktitle={International Joint Conf. on Automated Reasoning - IJCAR},
title={Can classical reasoning be recovered through the combination of logics?},
year={2016},
month={July},
volume={0},
pages={0-0} 
}
Create and download bib file