@INPROCEEDINGS {13444,
author={C. Caleiro and J. Marcos and C. B. Blasio},
doi={0},
booktitle={Logic Colloquium},
title={On B-entailment},
year={2013},
month={July},
volume={0},
pages={0-0} 
}