Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).

Toms Recio, Francisco Botana

Browse the full ICCSA paper archive.