"7th International Conference on Automated Deduction: Proceedings " - читать интересную книгу автора (R. E. Shostak)