2006

1. The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

   Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 1-14