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