Enviar aquest missatge de text: Automated deduction in equational logic and cubic curves /