"CADE Automated Deduction 6 conf" - читать интересную книгу автора (D. W. Loveland)