@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},
} 

@ARTICLE{
author={Stojanovic Sana N},
year={2013},
title={Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs},
journal={AUTOMATED DEDUCTION IN GEOMETRY: 9TH INTERNATIONAL WORKSHOP},
volume={7993},
number={},
pages={181-192},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojanovic Sana N,Pavlovic Vesna N,Janicic Predrag},
year={2011},
title={A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={6877},
number={},
pages={201-220},
document_type={Proceedings Paper},
}