"Automated Deduction in Equational Logic and Cubic Curves " - читать интересную книгу автора (William McCune, R. Padmanabhan)