Automated Deduction in Geometry - Botana; Quaresma, Pedro (Springer International Publishing, 2015)