@ARTICLE{
author={Stojanovic Sana N,Narboux Julien,Bezem Marc,Janicic Predrag},
year={2014},
title={A Vernacular for Coherent Logic},
journal={INTELLIGENT COMPUTER MATHEMATICS, CICM 2014},
volume={8543},
number={},
pages={388-403},
document_type={Proceedings Paper},
}