A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. - Sana Stojanovic; Vesna Pavlovic; Predrag Janicic (Automated Deduction in Geometry, 2010)

Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. - Sana Stojanovic (Automated Deduction in Geometry, 2012)

A Vernacular for Coherent Logic. - Sana Stojanovic; Julien Narboux; Marc Bezem; Predrag Janicic (CICM, 2014)

Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. - Sana Stojanovic Durdevic; Julien Narboux; Predrag Janicic (Ann. Math. Artif. Intell., 2015)

From informal to formal proofs in Euclidean geometry. - Sana Stojanovic Durdevic (Ann. Math. Artif. Intell., 2019)

Formalizing IMO Problems and Solutions in Isabelle/HOL. - Filip Maric; Sana Stojanovic Durdevic (ThEdu@IJCAR, 2020)