"10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Mark E. Stickel)