@INPROCEEDINGS {13267,
author={J. Ramos and C. Caleiro},
doi={0},
booktitle={World Congress and School on Universal Logic - UNILOG},
title={Classical and intuitionistic propositinal logic},
year={2013},
month={March},
volume={1},
pages={244-245} 
}