@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2023},
title={Automated generation of illustrated proofs in geometry and beyond},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={797-820},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2022},
title={Theorem Proving as Constraint Solving with Coherent Logic},
journal={JOURNAL OF AUTOMATED REASONING},
volume={66},
number={4},
pages={689-746},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic-Djurdjevic Sana,Narboux Julien,Janicic Predrag},
year={2015},
title={Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={74},
number={3-4},
pages={249-269},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien,Quaresma Pedro},
year={2012},
title={The Area Method A Recapitulation},
journal={JOURNAL OF AUTOMATED REASONING},
volume={48},
number={4},
pages={489-532},
document_type={Article},
}