Automated Deduction In Equational Logic And Cubic Curves door William Mccune