@ARTICLE{
author={Santos Vanda,Quaresma Pedro,Maric Milena,Campos Helena},
year={2018},
title={Web geometry laboratory: case studies in Portugal and Serbia},
journal={INTERACTIVE LEARNING ENVIRONMENTS},
volume={26},
number={1},
pages={3-21},
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},
} 

@ARTICLE{
author={Janicic Predrag,Quaresma Pedro},
year={2006},
title={System description: GCLCprover plus GeoThms},
journal={AUTOMATED REASONING, PROCEEDINGS},
volume={4130},
number={},
pages={145-150},
document_type={Article},
} 

@ARTICLE{
author={Quaresma Pedro,Janicic Predrag},
year={2006},
title={Integrating dynamic geometry software, deduction systems, and theorem repositories},
journal={MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS},
volume={4108},
number={},
pages={280-294},
document_type={Article},
}