@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2024},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2023},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={21-37},
document_type={Proceedings Paper},
}