"Automated deduction in equational logic and cubic curves" - читать интересную книгу автора (William McCune, R. Padmanabhan)