Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien (2024) Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. , br. 398, str. - (Proceedings Paper) 

Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien (2023) Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 398, br. , str. 21-37 (Proceedings Paper) 

Janicic Predrag,Narboux Julien (2023) Automated generation of illustrated proofs in geometry and beyond, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 91, br. 6, str. 797-820 (Article) 

Janicic Predrag,Narboux Julien (2022) Theorem Proving as Constraint Solving with Coherent Logic, JOURNAL OF AUTOMATED REASONING, vol. 66, br. 4, str. 689-746 (Article) 

Stojanovic-Djurdjevic Sana,Narboux Julien,Janicic Predrag (2015) Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 74, br. 3-4, str. 249-269 (Article) 

Stojanovic Sana N,Narboux Julien,Bezem Marc,Janicic Predrag (2014) A Vernacular for Coherent Logic, INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, vol. 8543, br. , str. 388-403 (Proceedings Paper) 

Janicic Predrag,Narboux Julien,Quaresma Pedro (2012) The Area Method A Recapitulation, JOURNAL OF AUTOMATED REASONING, vol. 48, br. 4, str. 489-532 (Article)