@INPROCEEDINGS {6037,
author={C. Caleiro and J. Ramos},
doi={},
booktitle={Frontiers of Combining Systems - FroCos},
title={Accepted for publication - Combining classical and intuitionistic implications},
year={2008},
month={April},
volume={-},
pages={---} 
}