इसका टेक्स्ट मैसेज भेजे : Automated deduction in equational logic and cubic curves /